<!--[CDATA[

var upperAsciiXlatTbl = new Array(
223,"ss",
230,"ae",
198,"ae",
156,"oe",
140,"oe",
240,"eth",
208,"eth",
141,"y",
159,"y"
);

var maxNumberOfShownSearchHits = 100;
var showInputStringAlerts = 0;
var navigationCookie = "";

/////////////////////////////// COOKIE-RELATED FUNCTIONS ////////////////////////
// Bill Dortch getCookieVal and GetCookie routines
function getCookieVal(offset) {
  var endstr=document.cookie.indexOf(";",offset);
  if (endstr==-1)endstr=document.cookie.length;
  return unescape(document.cookie.substring(offset, endstr));
}
function GetCookie(name) {
  var arg=name+"=";
  var alen=arg.length;
  var clen=document.cookie.length;
  var i=0;
  while(i<clen){
    var j=i+alen;
    if(document.cookie.substring(i,j)==arg)return getCookieVal(j);
    i=document.cookie.indexOf(" ",i)+1;
    if(i==0)break; 
  }
  return null;
}
function getTopCookieVal(offset) {
  var endstr=top.document.cookie.indexOf(";",offset);
  if (endstr==-1)endstr=top.document.cookie.length;
  return unescape(top.document.cookie.substring(offset, endstr));
}
function GetTopCookie(name) {
  var arg=name+"=";
  var alen=arg.length;
  var clen=top.document.cookie.length;
  var i=0;
  while(i<clen){
    var j=i+alen;
    if(top.document.cookie.substring(i,j)==arg)return getTopCookieVal(j);
    i=top.document.cookie.indexOf(" ",i)+1;
    if(i==0)break; 
  }
  return null;
}
// SetCookie
// -----------
// This function is called to set a cookie in the current document.
//  params:
//		n - name of the cookie
//		v - value of the cookie
//		minutes - the duration of the cookie in minutes (that is, how many minutes before it expires)
function SetCookie(n,v,minutes) {
 var Then = new Date();
 Then.setTime(Then.getTime() + minutes * 60 * 1000);
 document.cookie = n + "=" + v + ";expires=" + Then.toGMTString();
}
// getContentCookie
// ----------------
// This function reads the content cookie set by the handleContext funtion.
//
function getContentCookie()
{
	var contentCookie = GetCookie("content");
	top.document.cookie = "content=";

	// What does this expression mean?
	// (contentCookie.indexOf("htm") != -1)
	if ( (contentCookie != null) && (contentCookie.indexOf("htm") != -1) ) 
	{
		document.cookie = "content="; // Wipe out the cookie
		top.document.cookie = "histR=" + contentCookie;
		location.replace(contentCookie);
	}			
}
// getNavigationCookie
// -------------------
// This function reads the content cookie set by the handleContext funtion.
//
function getNavigationCookie()
{
	navigationCookie = GetCookie("navigation");
	top.document.cookie = "navigation=";

	// What does this expression mean?
	// (navigationCookie.indexOf("htm") != -1)
	if ( (navigationCookie != null) && (navigationCookie.indexOf("htm") != -1) ) 
	{
		document.cookie = "navigation="; // Wipe out the cookie
		top.document.cookie = "histL=" + navigationCookie;
		location.replace(navigationCookie);
	}
				
}

// handleContext
// -------------
// This function is called from content pages. It sets a cookie as soon
// as the page is loaded. If the content page is not in it's proper place
// in the frameset, the frameset will be loaded and the page will be 
// restored using the value in this cookie.
//
function handleContext(which)
{
	var docLocLastNode = lastNodeOf(document.location);

	if( top.frames.length ) {
		
		if( which ) {	// This page is supposed to go into the CONTENT frame
			if( docLocLastNode != lastNodeOf(top.frames[1].location) ) {	// ...but it is being loaded elsewhere
				top.location.replace("thermalwall.html");
				top.document.cookie = "content=" + docLocLastNode;
			}
			else {
				top.document.cookie = "histR=" + docLocLastNode;
			}
		}
		else {			// This page is supposed to go into the NAVIGATION frame
			if( docLocLastNode != lastNodeOf(top.frames[0].location) ) {	// ...but it is being loaded elsewhere
				top.location.replace("thermalwall.html");
				top.document.cookie = "navigation=" + lastNodeOf(top.frames[1].history.previous);
			}
			else {
				top.document.cookie = "histL=" + docLocLastNode;
			}
		}
	}
	else {
		if( which ) {
			top.document.cookie = "navigation=menu.html";
			top.document.cookie = "histL=menu.html";
			top.document.cookie = "content=" + docLocLastNode;
			top.document.cookie = "histR=" + docLocLastNode;
		}
		else {
			top.document.cookie = "navigation=" + docLocLastNode;
			top.document.cookie = "histL=" + docLocLastNode;
			top.document.cookie = "content=index.html";
			top.document.cookie = "histR=index.html";
		}
		top.location.replace("thermalwall.html");
	}
}
// lastNodeOf
// ----------
// This function gets passed a URL and returns the last node of same.
function lastNodeOf(e)
{
	var expr = "" + e;
	var pos = expr.lastIndexOf("/");

	if( (pos != -1) && (pos+1 != expr.length) ) {
		return expr.substr(pos+1);
	}
	else {
		return expr;
	}
}
// frameBuster
// -----------
// This function is called by the frameset to ensure it's always loaded
// at the top level of the current window.
//
function frameBuster()
{
	var thisLocation = document.location;
	if ( document.location != top.location )
	{
		top.location.replace("thermalwall.html");
	}
}


// SEARCH RELATED.......................................SEARCH RELATED
// SEARCH RELATED.......................................SEARCH RELATED
// SEARCH RELATED.......................................SEARCH RELATED
// SEARCH RELATED.......................................SEARCH RELATED
// SEARCH RELATED.......................................SEARCH RELATED
// SEARCH RELATED.......................................SEARCH RELATED
// SEARCH RELATED.......................................SEARCH RELATED
// SEARCH RELATED.......................................SEARCH RELATED
// SEARCH RELATED.......................................SEARCH RELATED
// SEARCH RELATED.......................................SEARCH RELATED
function bubbleSortWithShadow(a,b)
{
	var temp;
	for(var j=1; j<a.length; j++) {
		for(var i=0; i<j; i++) {
			if( a[i] < a[j] ) {	
				temp = a[j];a[j] = a[i];a[i] = temp;
				temp = b[j];b[j] = b[i];b[i] = temp;
			}
		}
	}
}
//---------------------------------------------------
function buildHtmlResultsStr()
{
	var innerHTMLstring,ndxEnd;

	// Gather all of the results display lines into the 'resultsArr'
		ndxEnd = (matchesArrIndices.length > maxNumberOfShownSearchHits ) ? maxNumberOfShownSearchHits : matchesArrIndices.length;

		for(var ndx=0, resultsArr = new Array(); ndx < ndxEnd; ndx++) {
			resultsArr[resultsArr.length] = buildResultsStrOneLine(matchesArrIndices[ndx],matchesArrHits[ndx]);
		}

	// Convert this 'resultsArr' into a single string that will be injected into this search page.
		innerHTMLstring = "<p>\n";
		for( var ndx=0; ndx < resultsArr.length; ndx++ ) {
			innerHTMLstring = innerHTMLstring + resultsArr[ndx] + "<br />\n";
		}
	return innerHTMLstring;
}
//---------------------------------------------------
function buildResultsStrOneLine(a,b)
{
	var retStr;
	retStr = "<a href=\"" + top.fileArr[a] + ".html\"";

	// for debug...
	//retStr += "target=\"content\" ";
	//retStr += "title=\"" + top.fileArr[a] + ".html-";
	//retStr += a + "-" + b + "\">";

	// for production...
	retStr += "target=\"content\" >";

	retStr += top.titleArr[a] + "</a>";
	return retStr;
}
//---------------------------------------------------
// checkForHits
//  Break up the search term into words.
//  Check each of those words against...
//		(a) cached titles and 
//		(b) cached content lines 
//  Perform the hit detection for each one, 
//  storing the results into (hits-ordered) 
//		'matchesArrIndices' and 
//		'matchesArrHits'.
//---------------------------------------------------
function checkForHits()
{
	var inputWords = new Array();
	var tempArr = new Array();

	// Split the search term into individual search words
		tempArr = searchTerm.split(" ");
		for(var ndx=0; ndx < tempArr.length; ndx++) {
			if( tempArr[ndx].length ) {
				inputWords[inputWords.length] = tempArr[ndx];
			}
		}

	// Initialization
		matchesArrHits = new Array();
		matchesArrIndices = new Array();

	// Initialize the 'maskArr' and the 'hitsArr'
		maskArr = new Array();
		hitsArr = new Array();
		for( var ndx = 0; ndx < top.fileArr.length; ndx++ ) {maskArr
			maskArr[maskArr.length] = 1;
			hitsArr[hitsArr.length] = 0;
		}

	// Do checking for matches on EACH OF THE INPUT WORDS
		for( var ndx = 0; ndx < inputWords.length; ndx++ ) {

			// !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
			if( ! checkForHitsWordAgainstPages( inputWords[ndx] ) ) {
				return; 	// No sense in continuing, match has failed.
			}
			// !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

			for( var ndx2 = 0; ndx2 < hitsArr.length; ndx2++ ) {
				if( hitsArr[ndx2] == 0 ) {
					maskArr[ndx2] = 0;
				}
				else {
					if( maskArr[ndx2] != 0 ) {
						maskArr[ndx2] += hitsArr[ndx2];
					}
				}
			}
		}

	// From the final 'maskArr', generate 'matchesArrHits' and 'matchesArrIndices'	
		for( var ndx = 0; ndx < maskArr.length; ndx++ ) {
			if( maskArr[ndx] ) {
				matchesArrHits[matchesArrHits.length] = maskArr[ndx];
				matchesArrIndices[matchesArrIndices.length] = ndx;
			}
		}

	// If there were any hits, then sort them by highest hits first
		if( matchesArrIndices.length ) {
			bubbleSortWithShadow(matchesArrHits, matchesArrIndices);
		}
}
//---------------------------------------------------
function checkForHitsWordAgainstPages(w)		
{
	var hitAnywhere = 0;

	// Process each of the content lines (one per file/page)
		for(var ndx=0; ndx < top.sc2.length; ndx++) {

			// Put the cached title into glob_title
				glob_title = top.sc1[ndx];

			// Put the cached content line into glob_phrase
				glob_phrase = top.sc2[ndx];
				
			if( maskArr[ndx] ) {
			// !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
				if( top.isDblByte ) {
					hitsArr[ndx] = checkForHitsWordAgainstTitleAndLine2(w,ndx);
				}
				else {
					hitsArr[ndx] = checkForHitsWordAgainstTitleAndLine(w,ndx);
				}
				if( hitsArr[ndx] ) {
					hitAnywhere = 1;
				}
			// !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
			}
		}
	return hitAnywhere;
}
//---------------------------------------------------
function checkForHitsWordAgainstTitleAndLine(w, lineNdx)
{
	var words;
	var titleHitCnt = 0;
	var contentHitCnt = 0;
	var regex = new RegExp(w, "i");

	// TITLE .........................................
		words = new Array();
		words = glob_title.split(" ");

		// EXECUTE TITLE MATCH TEST
		for( var ndx = 0; ndx < words.length; ndx++ ) {
			if( w == words[ndx] ) {
				titleHitCnt += 100;
				break;
			}
		}

	// CONTENT .........................................
		words = new Array();
		words = glob_phrase.split(" ");

		// EXECUTE CONTENT MATCH TEST
		if( regex.test(glob_phrase) ) {	// See if word is anywhere within the phrase first.
			for( var ndx = 0; ndx < words.length; ndx++ ) {
				if( w == words[ndx] ) {
					contentHitCnt += getInstanceCount(lineNdx,ndx);
					break;
				}
				else if( w < words[ndx] ) { // If word is greater than the remaining words, leave
					break;
				}
			}
		}

	return titleHitCnt + contentHitCnt;
}
//---------------------------------------------------
function checkForHitsWordAgainstTitleAndLine2(w, lineNdx)
{
	var titleHitCnt = 0;
	var contentHitCnt = 0;

	// TITLE .........................................
		if( glob_title.indexOf(w) != -1 ) {
			titleHitCnt = 100;
		}

	// CONTENT .........................................
		contentHitCnt = indexesOf(glob_phrase,w);

	return titleHitCnt + contentHitCnt;
}
//---------------------------------------------------
// checkTheInputString
// 
//  returns...
//		empty string - if there is valid input to search
//		message string - if there is NO VALID INPUT to search
//---------------------------------------------------
function checkTheInputString()
{
	var myArr = new Array();
	var tempArr = new Array();
	var foundStopOrShortWord = 0;
	var ptn1 = /\d\D/;
	var ptn2 = /\D\d/;

	handleWhitespaceRemoval();

	searchTerm = searchTerm.toLowerCase();

	searchTerm = filterTheChars(searchTerm);
		
	handleWhitespaceRemoval();

	if( searchTerm.length ) {
		
		// Split the searchTerm
			tempArr = searchTerm.split(" ",100);
			if(showInputStringAlerts){alert( "size of tempArr: " + tempArr.length );}

		// Handle periods
			for( var ndx = 0; ndx < tempArr.length; ndx++ ) {
				if( tempArr[ndx].charCodeAt(0) == 46 ) {	// periods at the start of word
					//tempArr[ndx] = tempArr[ndx].substr(1); // NOTE: We don't want to do this. (e.g. ".txt")
				}
				if( tempArr[ndx].charCodeAt(tempArr[ndx].length-1) == 46 ) { // end of word
					tempArr[ndx] = tempArr[ndx].substr(0,tempArr[ndx].length-1);
				}
			}
			
		// Do stopwords and shortwords removal
			for( var ndx = 0; ndx < tempArr.length; ndx++ ) {
				var word = tempArr[ndx];
				if(showInputStringAlerts){alert( "Checking word: " + word );}
				
				if( ! top.sw[word] ) {
					if( word.length < 2 ) {
						foundStopOrShortWord = 1;
					}
					else if( (word.length > 2) || (ptn1.test(word) || ptn2.test(word)) ) {
						myArr[myArr.length] = tempArr[ndx];
					}
					else {
						foundStopOrShortWord = 1;
					}
				}
				else {
					foundStopOrShortWord = 1;
				}
			}

		// Now reconstruct the searchTerm, based upon the 'myArr'
			searchTerm = "";
			for( var ndx = 0; ndx < myArr.length; ndx++ ) {
				searchTerm = searchTerm + myArr[ndx] + " ";
			}

		handleWhitespaceRemoval();

		if(showInputStringAlerts){alert( "FINAL SEARCH TERM: *" + searchTerm + "*" );}
			
		if( foundStopOrShortWord && ! searchTerm.length ) {
			return MSG_stopAndShortWords;
		}
		top.srch_input_massaged = searchTerm;
		return "";
	} 
	else {
		return MSG_noSearchTermEntered;
	}
}
//---------------------------------------------------
function checkTheInputString2()		// double-byte version
{
	var tempArr = new Array();

	handleWhitespaceRemoval();

	if( searchTerm.length ) {

		// Split the searchTerm
			tempArr = searchTerm.split(" ",100);
			if(showInputStringAlerts){alert( "number of search terms: " + tempArr.length );}

		// Now reconstruct the searchTerm, based upon the 'tempArr'
			searchTerm = "";
			for( var ndx = 0; ndx < tempArr.length; ndx++ ) {
				searchTerm = searchTerm + tempArr[ndx] + " ";
			}
			handleWhitespaceRemoval();

if(showInputStringAlerts){alert( "Massaged search term: " + searchTerm );}

		top.srch_input_massaged = searchTerm;
		return "";
	}
	else {
		return MSG_noSearchTermEntered;
	}
}
//---------------------------------------------------
function dispatch() {
	if ( top.frames.length && is_ie && (top.srch_1_shot || top.srch_message.length) ){
		doIEsearch();
	}
}
//---------------------------------------------------
function doIEsearch()
{
	var stStr = "";
	
	document.forms["search"].input.value = top.srch_input_verbatim;
	
	if( top.srch_message.length ) {
		document.all.results.innerHTML = top.srch_message;
		top.srch_message = "";
	}
	else if( top.srch_1_shot ) {
		top.srch_1_shot = 0;
		
		searchTerm = top.srch_input_massaged;
		checkForHits();	// Sets: 'matchesArrIndices' and 'matchesArrHits'

		if( matchesArrIndices.length ) {	// If there were matches/hits...
			stStr = MSG_pagesContaining + top.srch_input_massaged + "<br /><br />\n";
			document.all.results.innerHTML = stStr + buildHtmlResultsStr();
		}
		else {
			document.all.results.innerHTML = MSG_noPagesContain + top.srch_input_massaged;
		}
		searching_message.style.visibility="hidden";
	}
	top.srch_input_verbatim = "";
}
//---------------------------------------------------
function doNNsearch()
{
	if( !top.frames.length || !(is_nav4up || is_gecko || is_opera) ) {return;}
	
	var ndxEnd;

	document.forms["search"].input.value = top.srch_input_verbatim; //"";
	
	if( top.srch_message.length ) {
		document.write(top.srch_message);
		top.srch_message = "";
	}
	else if( top.srch_1_shot ) {
		top.srch_1_shot = 0;
				
		searchTerm = top.srch_input_massaged;

		checkForHits();

		if( matchesArrIndices.length ) {

			document.write(MSG_pagesContaining + top.srch_input_massaged + "<br /><br />\n");

			ndxEnd = (matchesArrIndices.length > maxNumberOfShownSearchHits ) ? maxNumberOfShownSearchHits : matchesArrIndices.length;

			for(var ndx=0; ndx < ndxEnd; ndx++) {
				document.write(buildResultsStrOneLine(matchesArrIndices[ndx],matchesArrHits[ndx]) + "<br />\n");
			}	
		}
		else {
			document.write(MSG_noPagesContain + top.srch_input_massaged);
		}
		if (is_nav4) {
			document.layers["searching_message"].visibility="hidden";
		}
	}
	top.srch_input_verbatim = "";
	if (is_nav4) {
		window.stop();
	}
}
//---------------------------------------------------
function getInstanceCount( lineIndex, wordIndex )
{
	var instancesStr = top.instances[lineIndex];	// e.g. "1432931"
	var ch = instancesStr.substr(wordIndex,1);
	
	return parseInt(ch);
}
//---------------------------------------------------
function handleWhitespaceRemoval()
{
	var re_1 = /^\s/;
	var re_2 = /\s$/;
	var re_3 = /\s\s/;
	var temp;

	// Remove leading whitespace
		while( true ) {
			temp = searchTerm.replace(re_1,"");
			if( temp == searchTerm ) {
				break;
			}
			searchTerm = temp;
		}
	// Remove trailing whitespace
		while( true ) {
			temp = searchTerm.replace(re_2,"");
			if( temp == searchTerm ) {
				break;
			}
			searchTerm = temp;
		}
	// Replace multiple contiguous spaces with a single space
		while( searchTerm.search(re_3) != -1 ) {
			temp = searchTerm.replace(re_3," ");
			searchTerm = temp;
		}
}
//--------------------------------------------------
function isAcceptableChar(chrNdx)
{
	var acceptableChars = new Array( 32, 46, 95 );	// space, period, underscore
	
	for( var ndx = 0; ndx < acceptableChars.length; ndx++ ) {
		if( chrNdx == acceptableChars[ndx] ) {
			return true;
		}
	}
	return false;
}
//--------------------------------------------------
function indexesOf(str,ptn)
{
	var position = 0;
	var hits = -1;
	var start = -1;

	while( position != -1 ) {
		position = str.indexOf(ptn, start+1);
		hits += 1;
		start = position;
	}
	return hits;
}
//--------------------------------------------------
function filterTheChars(line)
{
	var retStr = "",tempStr;
	var ch, chCode, retChr;
	var ndx;
	
	for( ndx = 0; ndx < line.length; ndx++ ) {
		ch = line.substr(ndx,1);
		chCode = ch.charCodeAt(0);
		
		
			if( (chCode >= 192) && (chCode <= 221) ) {	// Handle capital upper-ASCII characters
				chCode = chCode + 32;
				retChr = ASCII_to_char(chCode);
			}
			else if( withinAcceptableRanges(chCode) || isAcceptableChar(chCode) ) { // Acceptable characters
				retChr = ch;
			}
			else {
				tempStr = isLigatureChar(chCode);

				if( tempStr.length ) {	// Handle ligature-style replacements
					retChr = tempStr;
				}
				else {		// Turn all else into space	
					retChr = " ";
				}
			}

		// Grow the return string
			retStr += retChr;
	}
	
	return retStr;
}
//--------------------------------------------------
function isLigatureChar(codeToCheck) {
	var xlatTblNdx, code, replStr = "";

	for( xlatTblNdx = 0; xlatTblNdx < upperAsciiXlatTbl.length; xlatTblNdx+=2 ) {

		code = upperAsciiXlatTbl[xlatTblNdx];
		if( code == codeToCheck ) {
			replStr = upperAsciiXlatTbl[xlatTblNdx+1];
			break;
		}
	}
	
	return replStr;
}
//--------------------------------------------------
function respondToSearchButton() 
{
	var myStr;
	
	top.srch_input_verbatim = document.forms["search"].input.value;
	searchTerm = document.forms["search"].input.value;
	
	if( top.isDblByte ) {
		myStr = checkTheInputString2();
	}
	else {
		myStr = checkTheInputString();	
	}
	
	top.srch_message = myStr;
	top.srch_1_shot = top.srch_message.length ? 0 : 1;
	
	if( (! myStr.length) && (! top.didDbLoad) ) {
		document.location = "srch_fset.html";
	}
	else {
		document.location = "search.html";
	}
}
//---------------------------------------------------
function strReplace(orig,src,dest)
{
	var startPos=0;
	var matchPos = orig.indexOf(src,startPos);
	var retLine="";
	
	while(matchPos != -1) {
		retLine = retLine + orig.substring(startPos,matchPos) + dest;
		startPos = matchPos+1;
		matchPos = orig.indexOf(src,startPos);
	}
	if(! retLine.length) {return orig;}
	else {return retLine+orig.substring(startPos,orig.length);}
}
//--------------------------------------------------
function withinAcceptableRanges(chrNdx)
{	
	var acceptableRanges = new Array( "48-57","65-90","97-122","224-229","231-239","241-246","248-253","255-255");
	
	for( var ndx = 0; ndx < acceptableRanges.length; ndx++ ) {
		var start_finish = new Array();

		start_finish = acceptableRanges[ndx].split("-");
		
		if( (chrNdx >= start_finish[0]) && (chrNdx <= start_finish[1]) ) {
			return true;
		}
	}
	return false;
}
//--------------------------------------------------
function ASCII_to_char(num_in)
{
	var str_out = "";
	var num_out = parseInt(num_in);
	
	num_out = unescape('%' + num_out.toString(16));
	str_out += num_out;
	
	return unescape(str_out);
}

// Ultimate client-side JavaScript client sniff. Version 3.02
// (C) Netscape Communications 1999-2001.  Permission granted to reuse and distribute.
// Revised 17 May 99 to add is_nav5up and is_ie5up (see below).
// Revised 20 Dec 00 to add is_gecko and change is_nav5up to is_nav6up
//                      also added support for IE5.5 Opera4&5 HotJava3 AOLTV
// Revised 22 Feb 01 to correct Javascript Detection for IE 5.x, Opera 4, 
//                      correct Opera 5 detection
//                      add support for winME and win2k
//                      synch with browser-type-oo.js
// Revised 26 Mar 01 to correct Opera detection

// Everything you always wanted to know about your JavaScript client
// but were afraid to ask. Creates "is_" variables indicating:
// (1) browser vendor:
//     is_nav, is_ie, is_opera, is_hotjava, is_webtv, is_TVNavigator, is_AOLTV
// (2) browser version number:
//     is_major (integer indicating major version number: 2, 3, 4 ...)
//     is_minor (float   indicating full  version number: 2.02, 3.01, 4.04 ...)
// (3) browser vendor AND major version number
//     is_nav2, is_nav3, is_nav4, is_nav4up, is_nav6, is_nav6up, is_gecko, is_ie3,
//     is_ie4, is_ie4up, is_ie5, is_ie5up, is_ie5_5, is_ie5_5up, is_hotjava3, is_hotjava3up,
//     is_opera2, is_opera3, is_opera4, is_opera5, is_opera5up
// (4) JavaScript version number:
//     is_js (float indicating full JavaScript version number: 1, 1.1, 1.2 ...)
// (5) OS platform and version:
//     is_win, is_win16, is_win32, is_win31, is_win95, is_winnt, is_win98, is_winme, is_win2k
//     is_os2
//     is_mac, is_mac68k, is_macppc
//     is_unix
//     is_sun, is_sun4, is_sun5, is_suni86
//     is_irix, is_irix5, is_irix6
//     is_hpux, is_hpux9, is_hpux10
//     is_aix, is_aix1, is_aix2, is_aix3, is_aix4
//     is_linux, is_sco, is_unixware, is_mpras, is_reliant
//     is_dec, is_sinix, is_freebsd, is_bsd
//     is_vms
//
// See http://www.it97.de/JavaScript/JS_tutorial/bstat/navobj.html and
// http://www.it97.de/JavaScript/JS_tutorial/bstat/Browseraol.html
// for detailed lists of userAgent strings.
//
// Note: you don't want your Nav4 or IE4 code to "turn off" or
// stop working when new versions of browsers are released, so
// in conditional code forks, use is_ie5up ("IE 5.0 or greater") 
// is_opera5up ("Opera 5.0 or greater") instead of is_ie5 or is_opera5
// to check version in code which you want to work on future
// versions.

    // convert all characters to lowercase to simplify testing
    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);

    // Note: Opera and WebTV spoof Navigator.  We do strict client detection.
    // If you want to allow spoofing, take out the tests for opera and webtv.
    var is_nav  = ((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')==-1)
                && (agt.indexOf('compatible') == -1) && (agt.indexOf('opera')==-1)
                && (agt.indexOf('webtv')==-1) && (agt.indexOf('hotjava')==-1));
    var is_nav2 = (is_nav && (is_major == 2));
    var is_nav3 = (is_nav && (is_major == 3));
    var is_nav4 = (is_nav && (is_major == 4));
    var is_nav4up = (is_nav && (is_major >= 4));
    var is_navonly      = (is_nav && ((agt.indexOf(";nav") != -1) ||
                          (agt.indexOf("; nav") != -1)) );
    var is_nav6 = (is_nav && (is_major == 5));
    var is_nav6up = (is_nav && (is_major >= 5));
    var is_gecko = (agt.indexOf('gecko') != -1);


    var is_ie     = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));
    var is_ie3    = (is_ie && (is_major < 4));
    var is_ie4    = (is_ie && (is_major == 4) && (agt.indexOf("msie 5")==-1) );
    var is_ie4up  = (is_ie && (is_major >= 4));
    var is_ie5    = (is_ie && (is_major == 4) && (agt.indexOf("msie 5.0")!=-1) );
    var is_ie5_5  = (is_ie && (is_major == 4) && (agt.indexOf("msie 5.5") !=-1));
    var is_ie5up  = (is_ie && !is_ie3 && !is_ie4);
    var is_ie5_5up =(is_ie && !is_ie3 && !is_ie4 && !is_ie5);

    // KNOWN BUG: On AOL4, returns false if IE3 is embedded browser
    // or if this is the first browser window opened.  Thus the
    // variables is_aol, is_aol3, and is_aol4 aren't 100% reliable.
    var is_aol   = (agt.indexOf("aol") != -1);
    var is_aol3  = (is_aol && is_ie3);
    var is_aol4  = (is_aol && is_ie4);
    var is_aol5  = (agt.indexOf("aol 5") != -1);
    var is_aol6  = (agt.indexOf("aol 6") != -1);

    var is_opera = (agt.indexOf("opera") != -1);
    var is_opera2 = (agt.indexOf("opera 2") != -1 || agt.indexOf("opera/2") != -1);
    var is_opera3 = (agt.indexOf("opera 3") != -1 || agt.indexOf("opera/3") != -1);
    var is_opera4 = (agt.indexOf("opera 4") != -1 || agt.indexOf("opera/4") != -1);
    var is_opera5 = (agt.indexOf("opera 5") != -1 || agt.indexOf("opera/5") != -1);
    var is_opera5up = (is_opera && !is_opera2 && !is_opera3 && !is_opera4);

    var is_webtv = (agt.indexOf("webtv") != -1); 

    var is_TVNavigator = ((agt.indexOf("navio") != -1) || (agt.indexOf("navio_aoltv") != -1)); 
    var is_AOLTV = is_TVNavigator;

    var is_hotjava = (agt.indexOf("hotjava") != -1);
    var is_hotjava3 = (is_hotjava && (is_major == 3));
    var is_hotjava3up = (is_hotjava && (is_major >= 3));

    // *** JAVASCRIPT VERSION CHECK ***
    var is_js;
    if (is_nav2 || is_ie3) is_js = 1.0;
    else if (is_nav3) is_js = 1.1;
    else if (is_opera5up) is_js = 1.3;
    else if (is_opera) is_js = 1.1;
    else if ((is_nav4 && (is_minor <= 4.05)) || is_ie4) is_js = 1.2;
    else if ((is_nav4 && (is_minor > 4.05)) || is_ie5) is_js = 1.3;
    else if (is_hotjava3up) is_js = 1.4;
    else if (is_nav6 || is_gecko) is_js = 1.5;
    // NOTE: In the future, update this code when newer versions of JS
    // are released. For now, we try to provide some upward compatibility
    // so that future versions of Nav and IE will show they are at
    // *least* JS 1.x capable. Always check for JS version compatibility
    // with > or >=.
    else if (is_nav6up) is_js = 1.5;
    // NOTE: ie5up on mac is 1.4
    else if (is_ie5up) is_js = 1.3

    // HACK: no idea for other browsers; always check for JS version with > or >=
    else is_js = 0.0;

    // *** PLATFORM ***
    var is_win   = ( (agt.indexOf("win")!=-1) || (agt.indexOf("16bit")!=-1) );
    // NOTE: On Opera 3.0, the userAgent string includes "Windows 95/NT4" on all
    //        Win32, so you can't distinguish between Win95 and WinNT.
    var is_win95 = ((agt.indexOf("win95")!=-1) || (agt.indexOf("windows 95")!=-1));

    // is this a 16 bit compiled version?
    var is_win16 = ((agt.indexOf("win16")!=-1) || 
               (agt.indexOf("16bit")!=-1) || (agt.indexOf("windows 3.1")!=-1) || 
               (agt.indexOf("windows 16-bit")!=-1) );  

    var is_win31 = ((agt.indexOf("windows 3.1")!=-1) || (agt.indexOf("win16")!=-1) ||
                    (agt.indexOf("windows 16-bit")!=-1));

    var is_winme = ((agt.indexOf("win 9x 4.90")!=-1));
    var is_win2k = ((agt.indexOf("windows nt 5.0")!=-1));

    // NOTE: Reliable detection of Win98 may not be possible. It appears that:
    //       - On Nav 4.x and before you'll get plain "Windows" in userAgent.
    //       - On Mercury client, the 32-bit version will return "Win98", but
    //         the 16-bit version running on Win98 will still return "Win95".
    var is_win98 = ((agt.indexOf("win98")!=-1) || (agt.indexOf("windows 98")!=-1));
    var is_winnt = ((agt.indexOf("winnt")!=-1) || (agt.indexOf("windows nt")!=-1));
    var is_win32 = (is_win95 || is_winnt || is_win98 || 
                    ((is_major >= 4) && (navigator.platform == "Win32")) ||
                    (agt.indexOf("win32")!=-1) || (agt.indexOf("32bit")!=-1));

    var is_os2   = ((agt.indexOf("os/2")!=-1) || 
                    (navigator.appVersion.indexOf("OS/2")!=-1) ||   
                    (agt.indexOf("ibm-webexplorer")!=-1));

    var is_mac    = (agt.indexOf("mac")!=-1);
    // hack ie5 js version for mac
    if (is_mac && is_ie5up) is_js = 1.4;
    var is_mac68k = (is_mac && ((agt.indexOf("68k")!=-1) || 
                               (agt.indexOf("68000")!=-1)));
    var is_macppc = (is_mac && ((agt.indexOf("ppc")!=-1) || 
                                (agt.indexOf("powerpc")!=-1)));

    var is_sun   = (agt.indexOf("sunos")!=-1);
    var is_sun4  = (agt.indexOf("sunos 4")!=-1);
    var is_sun5  = (agt.indexOf("sunos 5")!=-1);
    var is_suni86= (is_sun && (agt.indexOf("i86")!=-1));
    var is_irix  = (agt.indexOf("irix") !=-1);    // SGI
    var is_irix5 = (agt.indexOf("irix 5") !=-1);
    var is_irix6 = ((agt.indexOf("irix 6") !=-1) || (agt.indexOf("irix6") !=-1));
    var is_hpux  = (agt.indexOf("hp-ux")!=-1);
    var is_hpux9 = (is_hpux && (agt.indexOf("09.")!=-1));
    var is_hpux10= (is_hpux && (agt.indexOf("10.")!=-1));
    var is_aix   = (agt.indexOf("aix") !=-1);      // IBM
    var is_aix1  = (agt.indexOf("aix 1") !=-1);    
    var is_aix2  = (agt.indexOf("aix 2") !=-1);    
    var is_aix3  = (agt.indexOf("aix 3") !=-1);    
    var is_aix4  = (agt.indexOf("aix 4") !=-1);    
    var is_linux = (agt.indexOf("inux")!=-1);
    var is_sco   = (agt.indexOf("sco")!=-1) || (agt.indexOf("unix_sv")!=-1);
    var is_unixware = (agt.indexOf("unix_system_v")!=-1); 
    var is_mpras    = (agt.indexOf("ncr")!=-1); 
    var is_reliant  = (agt.indexOf("reliantunix")!=-1);
    var is_dec   = ((agt.indexOf("dec")!=-1) || (agt.indexOf("osf1")!=-1) || 
           (agt.indexOf("dec_alpha")!=-1) || (agt.indexOf("alphaserver")!=-1) || 
           (agt.indexOf("ultrix")!=-1) || (agt.indexOf("alphastation")!=-1)); 
    var is_sinix = (agt.indexOf("sinix")!=-1);
    var is_freebsd = (agt.indexOf("freebsd")!=-1);
    var is_bsd = (agt.indexOf("bsd")!=-1);
    var is_unix  = ((agt.indexOf("x11")!=-1) || is_sun || is_irix || is_hpux || 
                 is_sco ||is_unixware || is_mpras || is_reliant || 
                 is_dec || is_sinix || is_aix || is_linux || is_bsd || is_freebsd);

    var is_vms   = ((agt.indexOf("vax")!=-1) || (agt.indexOf("openvms")!=-1));
// End: Ultimate client-side JavaScript client sniff. Version 3.02


// ]]-->