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