<!--

<!--
var BrowserName = self.navigator.appName; 
var BrowserVer = parseInt(self.navigator.appVersion,10); 
var BrowserOK = false;
if(BrowserName == "Netscape") {
if (BrowserVer >= 3.0)  BrowserOK=true;
}
else if (BrowserName == "Microsoft Internet Explorer") {
        if (BrowserVer>=3.0) BrowserOK=true;

}

function validate_calculationtform()
{
	if (BrowserOK) 
	{
//This section validates the user has input the email address.
		
		if (document.calculator.a.value == "")
		{
		alert("Please make sure you specify the amout of students enrolled");
		document.calculator.a.focus()
		return false;
		}
		
		if (document.calculator.b.value == "")
		{
		alert("Please make sure you specify the amout of faculty/staff employed");
		document.calculator.b.focus()
		return false;
		}
		
		
		if (document.calculator.c.value == "")
		{
		alert("Please make sure you specify the number of school days");
		document.calculator.c.focus()
		return false;
		}
		
		//black and white printing
		
		if (document.calculator.d.value == "")
		{
		alert("Please make sure you specify the daily average number of black and white pages printed by students");
		document.calculator.d.focus()
		return false;
		}
		
		if (document.calculator.e.value == "")
		{
		alert("Please make sure you specify the daily average number of black and white pages printed by staff");
		document.calculator.d.focus()
		return false;
		}		
		
		if (document.calculator.f.value == "0.00")
		{
		alert("Please make sure you specify the average cost per page for black and white printing");
		document.calculator.f.focus()
		return false;
		}
		
		//color printing
		
		if (document.calculator.g.value == "")
		{
		alert("Please make sure you specify the daily average number of color pages printed by students");
		document.calculator.g.focus()
		return false;
		}
		
		if (document.calculator.h.value == "")
		{
		alert("Please make sure you specify the daily average number of color pages printed by staff");
		document.calculator.h.focus()
		return false;
		}
		
		if (document.calculator.i.value == "0.00")
		{
		alert("Please make sure you specify the average cost per page for color printing");
		document.calculator.i.focus()
		return false;
		}
		
		

		

		
			else
			document.calculator_submit.submit();
	}
}