function show_navi(element){
	element.className += "hover";
	}
function hide_navi(element){
	element.className = element.className = "";
	}