function onOff(obj1, color, obj2, visibility)
	{
	 menu[obj1].style.color = color;
	 menu[obj2].style.visibility = visibility;
	}

function menuBarInit()
	{
   	 menu = document.getElementById("content").getElementsByTagName("div");
	}

function navigate(dest)
	{
	 window.location = dest;
	}

function statusBar(text)
	{
	 window.status = text;
	}