function highlightPage(){
  if(document.getElementById("pageID")){
  var pageID = document.getElementById("pageID").value;
  document.getElementById(pageID).style.backgroundColor='#66CC66';}
}