var hoverRe = new RegExp("Hover$");var allARef = document.getElementsByTagName('a');var thisPage;var testThisPage;var thisPath = document.location.href;var splitPath = document.location.href.split('/');var tossIt = splitPath.pop();thisPath = splitPath.join('/') + '/';var thisFolder = splitPath.pop();var thisPathName = window.location.pathname;var pathnameArray = thisPathName.split('/');var testLeftOver =  splitPath.join('/');if (testLeftOver == 'http:/'){	// we are in the main folder	thisFolder = '';}var againstThisPage;if (thisFolder != ''){	againstThisPage = [document.location.href, thisPath+'index.php', thisPath+'index.htm',thisPath+'index.html',thisPath+'index.asp'];	if (pathnameArray.length > 2) 	{		//Remove the first and the last...		pathnameArray.shift();		pathnameArray.pop();		againstThisPage.push(window.location.protocol+'//'+window.location.hostname+'/'+pathnameArray[0]+'/index.php');	}}else{againstThisPage = [document.location.href];}var allNavs = new Array();var sideNavs = new Array();var allDivs = document.getElementsByTagName('div');var tmpThing;var tmpThingTwo;var pullIn = 0;var pullUp = 16;var winTimer;var thisElem;var notSideNav = [];var notThese = [];var pathArray = new Array();var thisFolder;var prev_onload = window.onload; var allSectionNavARef = [];var toOverRe = new RegExp(/^(.*)(\.[^.]+)$/);var toNormalRe = new RegExp(/^(.*)(_on)(\.[^.]+)$/);var toOverChangeTo = "$1_on$2";var toNormalChangeTo = "$1$3";function inArray(findThis, inThis) {	var retval = false;	for (var i=0;i<inThis.length;i++) {		if (inThis[i] == findThis) {			retval = true;			break;			}		}	return retval;	}	