function show(element) {
	element.className += "hover";
	document.getElementById("mainmenu").style.height = "310px";
}

function hide(element) {
	element.className = element.className = "";
	document.getElementById("mainmenu").style.height = "40px";
}