function showMenu() 
{	
var i,args=showMenu.arguments;
 	for (i=0; i<(args.length); i++)
   		{
		document.getElementById(args[i]).style.display = '';
		}
}
function hideMenu() 
{	
var i,args=hideMenu.arguments;
 	for (i=0; i<(args.length); i++)
   		{
		document.getElementById(args[i]).style.display = 'none';
		}
}