document.getElementById("num_VisitedList").innerHTML=" (<b class=\"red_dark\">134</b>)";