var hoverRe = new RegExp("Hover$");
var allARef = document.getElementsByTagName('a');
var thisPage;
var testThisPage;
var splitPath = document.location.href.split('/');
var tossIt = splitPath.pop();
thisPath = splitPath.join('/') + '/';
var againstThisPage = [document.location.href, thisPath+'index.php', thisPath+'index.htm',thisPath+'index.html',thisPath+'index.asp'];
var allNavs = new Array();
var sideNavs = new Array();
var allDivs = document.getElementsByTagName('div');
var tmpThing;
var tmpThingTwo;
var pullIn = 20;
var pullUp = 10;
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;
	}
	
window.onload = function() { if ( prev_onload) {prev_onload();} lightUp(); setUpNavDivs();initTextNav();stripeOn();}