// Escape Frames
if (window != top) top.location.href = document.location;

//  Docozone's Javascript code, copyright 1998
//  Feel free to borrow and modify this code,
//  but be sure leave this credit in the source!
//  Your pal,   -Dr. Thaddeus ozone-
//        http://www.visi.com/~drozone/
window.onerror=null;

browserName = navigator.appName.substring(0,8);
browserVer = parseFloat(navigator.appVersion);
version = "bad"
if (browserName == "Netscape" && browserVer >= 3) version = "good"
if (browserName == "Microsof" && browserVer >= 4) version = "good"

if (version == "good") {
topNav = new Array(  "0t" , "1t" , "2t" , "3t" , "4t" , "5t" , "6t" , "7t" , "8t" , "9t"  );
bottomNav = new Array(  "0b" , "1b" , "2b" , "3b" , "4b" , "5b" , "6b" , "7b" , "8b" , "9b"  );
pageNumbers = new Array(14);
for (m=0; m<=13; m++) {
pageNumbers[m] = new Image(); }
		pageNumbers[0].src = "nav_page.gif"; // nav_page.gif is included simply to line up the image numbers with their names
		pageNumbers[1].src = "navh_01.gif";
		pageNumbers[2].src = "navh_02.gif";
		pageNumbers[3].src = "navh_03.gif";
		pageNumbers[4].src = "navh_04.gif";
		pageNumbers[5].src = "navh_05.gif";
		pageNumbers[6].src = "navh_06.gif";
		pageNumbers[7].src = "navh_07.gif";
		pageNumbers[8].src = "navh_08.gif";
		pageNumbers[9].src = "navh_09.gif";
		  }

function pageHighlight() {
if (version == "good") {
document.images[topNav[thisPage]].src = pageNumbers[thisPage].src;
document.images[bottomNav[thisPage]].src = pageNumbers[thisPage].src;  }}
// End Ozone's Code