//these two functions will either show or hide the item given
function deploy(menu)
{
	document.getElementById(menu).style.visibility = "visible";
}
function retract(menu)
{
	document.getElementById(menu).style.visibility = "hidden";
}