function get_obj(id)
{
	return document.getElementById(id);
}
function menu_hide(id)
{
	get_obj(id).style.visibility='hidden';
}
function menu_show(id)
{
	get_obj(id).style.visibility='visible';
}