function show_menu(element){
	element.getElementsByTagName('ul')[0].style.visibility='visible';
}
function hide_menu(element){
	element.getElementsByTagName('ul')[0].style.visibility='hidden';
}