// JavaScript Document
function hideCurrentLink() {
var nav=document.getElementById("nav");
 var a=nav.getElementsByTagName("a");
 var x=0;
 for (x=0;x<a.length;x++) {
 if (a[x].href==window.location.href.split("#")[0]) {
  a[x].parentNode.className="here";
   }
  }
}