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