function highlightnav(){
      var atags=document.getElementsByTagName("a");
      for(var i=0;i<atags.length;i++){
         if(atags[i].className=="navlink"){
            if(document.location.href.indexOf(atags[i].href)!=-1){
               atags[i].className="current";
			}
		}
	}
}