//--------------------------------------------get object by its ID
function obj(object)
{
	return document.getElementById(object);
};

function unhide_main_menu()
{
	obj("menu_main").style.visibility = "visible";
};