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