document.getElementById("num_pro_sd1").innerHTML=" (20)";

document.getElementById("num_pro_sd3").innerHTML=" (19)";