function whm(){
	if(document.getElementById('links').style.visibility=="visible"){
		document.getElementById('links').style.visibility="hidden";
	}else{
		document.getElementById('links').style.visibility="visible";
	}
}