function show(menuID)
{
	allhidden();
	var menu = document.getElementById(menuID);	
	menu.style.display = "block";
}

function hidden(menuID)
{
	var menu = document.getElementById(menuID);	
	menu.style.display = "none";
}
function allshow()
{
	show('info_frame1');
	show('info_frame2');
	show('info_frame3');
	show('info_frame4');
}

function allhidden()
{
	hidden('info_frame1');
	hidden('info_frame2');
	hidden('info_frame3');
	hidden('info_frame4');
}