function show(menu) {
	mymenu=document.getElementById(menu);
	mymenu.style.display="block";
	return false;
}