document.getElementById("num_pro_sd2").innerHTML=" (22)";

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

document.getElementById("num_pro_sd4").innerHTML=" (0)";