app = navigator.appName;
ver = navigator.appVersion;
vernum = parseFloat(ver);

BrowserOk = (app == "Netscape" && vernum >= 3)
	|| (app == "Microsoft Internet Explorer" && vernum >= 4);	

function to3sf(x)
{
	return(Math.round(x*1000)/1000)
}

function show_proof(name)
{
	open("../proofs/"+name+".html","proofWindow","toolbar=no,width=500,height=400,scrollbars=yes")
}

function showNum(x,colour)
{
	if(BrowserOk) document.write(x.toString().fontcolor(colour));
}


function setStatus(message)
{
	top.status = message
	return true
}

function resetStatus()
{
	top.status = ''
	return true
}