function hoover_nav(navid,klasse){
    var navdiv=document.getElementById(navid);
    navdiv.className=klasse;
}