// Ultimate client-side JavaScript client sniff. 
var agt=navigator.userAgent.toLowerCase(); 
// *** BROWSER VERSION *** 
// Note: On IE5, these return 4, so use is_ie5up to detect IE5. 
var is_major=parseInt(navigator.appVersion); 
var is_minor=parseFloat(navigator.appVersion); 
var is_nav=((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')==-1) 
		&& (agt.indexOf('compatible') == -1) && (agt.indexOf('opera')==-1) 
		&& (agt.indexOf('webtv')==-1)); 
var is_ie=(agt.indexOf("msie") != -1); 
var is_ie5=(is_ie && (is_major == 4) && (agt.indexOf("msie 5.0")!=-1) ); 
/* Debuging functions */
var TRACE=false;
/*
DESCR: Traces execution to the console.
PARAMS: msg  The trace text.
RETURNS: 
NOTES:   
*/
function trace( msg )
{
	if(TRACE) java.lang.System.out.println("System: "+msg)
}

function IsNav() {
 return is_nav;
}

function IsIE5() {
 return is_ie5;
}