// set the name (id) of the floating div that contains the navigation

	divId = 'floatnav';

// set the distance in pixels of the navigation from the top of the browser window

	divTop = 150;

// set the delay speed at which the navigation moves to the new position when the window scrolls (1 = no delay; larger numbers = more delay)

	divMove = 5;





// do not edit below this line ---------------------------------------------------------

browsver = navigator.appVersion.toLowerCase();
browsvernum = parseInt(navigator.appVersion);
browsname = navigator.appName;
browsagt = navigator.userAgent.toLowerCase();

NS4 = document.layers;
IE = document.all;
DOM = document.getElementById;

function navfloat() {
	navdiv = document.getElementById ? document.getElementById(divId) : document.all(divId);
	divrepos = divTop;
	window.navmove=function() {
		if (window.pageYOffset) {
			var divposy = window.pageYOffset;
		}
		else if (document.documentElement && document.documentElement.scrollTop) {
			var divposy = document.documentElement.scrollTop;
		}
		else if (document.body) {
			var divposy = document.body.scrollTop;
		}
		if (divMove < 1) {
			divMove = 1;
		}
		divrepos += (divposy + divTop - divrepos)/divMove;
		navdiv.style.top = divrepos + "px";
		setTimeout("navmove()", 10);
	}
	navmove();
}

//window.onload=function() {
function startfloat() {
	if (DOM || IE) {
		navfloat();
	}
	else if (NS4) {
		navdiv = eval("document." + divId);
		navdiv.top = divTop;
	}
}