document.getElementById("num_VisitedList").innerHTML=" (
7
)";