function boldLink(page){
 if(page==""){
 page="home";
 }
 document.getElementById(page).className =page+" over";

}