function exMenu(tName){
	tMenu = document.getElementById(tName).style;
	if (tMenu.display == "none") tMenu.display = "block"; else tMenu.display = "none";
}
function formsend(pagename){
	document.f01.page.value=pagename;
	document.f01.submit();
}