function change () { 

       // go through each link in document
       for(i=0;i<document.links.length;i++){
//alert(i);
                 if( document.links[i].href == document.location.href ){
                     document.links[i].style.color = "#FF0000";
                 } 
        }

    }