// This function changes the colour of the nav button when moused over
function swapit(what)
	{
	document.getElementById(what).style.backgroundColor = "c89797";
	}

// This function returns the colour of the nav button when moused out
function swapitback(what)
	{
	document.getElementById(what).style.backgroundColor = "transparent";
	}

// This function puts the relevant page in the content area
function FUNjumppage(going)
	{
	parent.content.location.href = going
	}

function FUNpropnumrequest(reqnum)
	{
	if ((parseInt(reqnum.value) > 0) && (parseInt(reqnum.value) < 161))
		{
		parent.document.all[plotselect].value = reqnum.value;
		}
	else
		{
		parent.document.all[plotselect].value = "0";
		}
	parent.content.location.href = "results_request.html";
	}