function javaSniffer(){
	if (navigator.javaEnabled()){
		if (navigator.appName == "Netscape"){
			if (navigator.plugins["Java Plug-in"]){	
				var S = new String(navigator.plugins["Java Plug-in"].description);
				S = S.substring(S.indexOf("1"), S.indexOf("for") - 1);
				document.write(S);
				if (parseFloat(S) < 1.3){document.write('<P>Need  to<BR> upgrade <BR><A HREF="plugin.html" ONMOUSEOVER="showNavBar(\'plugin_id\'), rollOn(\'plugin\')" ONMOUSEOUT="rollOff(\'plugin\')"><FONT COLOR="white"><B>Plug-in</B></FONT></A>');}}
				else {document.write('Need  to<BR> get a <BR><A HREF="plugin.html" ONMOUSEOVER="showNavBar(\'plugin_id\'), rollOn(\'plugin\')" ONMOUSEOUT="rollOff(\'plugin\')"><FONT COLOR="white"><B>Plug-in</B></FONT></A>');}} 	
		else 
			{	document.write('<OBJECT classid="clsid:8AD9C840-044E-11D1-B3E9-00805F499D93"');
				document.write('  height="20" width="52" align="baseline"');
				document.write(' codebase="http://java.sun.com/products/plugin/1.3/jinstall-1_3-win32.cab#Version=1,3,0,0">');
				document.write('<PARAM NAME="code" VALUE="sniffer">');
				document.write('<PARAM NAME="codebase" VALUE="./">');
				document.write('<PARAM NAME="type" VALUE="application/x-java-applet;version=1.3">');
				document.write('Need  to<BR> upgrade <BR><A HREF="plugin.html" ONMOUSEOVER="showNavBar(\'plugin_id\'), rollOn(\'plugin\')" ONMOUSEOUT="rollOff(\'plugin\')"><FONT COLOR="white"><B>Plug-in</B></FONT></A>');
				document.write("</object>");}}
	else {document.write('Need  to<BR> enable <BR><A HREF="enable.html" ONMOUSEOVER="showNavBar(\'plugin_id\'), rollOn(\'plugin\')" ONMOUSEOUT="rollOff(\'plugin\')"><FONT COLOR="white"><B>Java</B></FONT></A>');}
}
function oldNavBar(name){if (old){
	document.write('<P>');
	document.write('<TABLE CELLPADDING="2" CELLSPACING="2" WIDTH="98" BORDER="0">');
	if (name != "objective"){document.write('<TR><TD ALIGN="center"><A HREF="objective.html"><FONT FACE="Arial, Verdana, Geneva, Helvetica, sans-serif" SIZE="2" COLOR="white">Objective</FONT></A><BR></TD></TR>');}
	document.write('<TR><TD></TD></TR></TABLE>');
	}
	else {document.write('<BR>');}
}