function displayMenu(menu_name)
{
menu_name.style.visibility = 'visible';
}


function hideMenu(menu_name)
{
menu_name.style.visibility = 'hidden';
}

function preLoadImages()
{
var images = new Array;
var num_args = preLoadImages.arguments.length;
for (i=0; i < num_args; i++)
	{
	images[i] = new Image();
	images[i].src = preLoadImages.arguments[i];
	}
}