var wname = "";

function PageName(pname)
	{
	wname = pname;
	if(document.all[pname])
		{
		document.images[pname].src = "images/menu_" + pname + "_over.gif";
		}
	}

function swapit(what)
	{
	if (what != wname)
		{
		document.images[what].src = "images/menu_" + what + "_over.gif";
		}
	}

function swapitback(what)
	{
	if (what != wname)
		{
		document.images[what].src = "images/menu_" + what + "_out.gif";
		}
	}

function jumpstate()
	{
	jump = document.forms[0].state.value;
	top.location.href= jump + ".html";
	}