<!--    Start externally added code here

// Start code for navigation rollover images

  // Instantiate 'ArrOff' and pre-cache all 'off' button images
  var ArrOff = new Array()
    ArrOff[1]  = new Image(25,25)

  // Instantiate 'ArrOn' and pre-cache all 'on' button images
  var ArrOn = new Array()
    ArrOn[1]  = new Image(25,25)

  // Set 'off' image path for each button
  ArrOff[1].src  = "../images/pixel-clear.gif";
 
  // Set 'on' image path for each button
  ArrOn[1].src  = "../images/ch-25-r.gif";

function move_in(img_name,i) {
  if (document.images) {
document[img_name].src = ArrOn[i].src;
  }
}

function move_out(img_name,i) {
  if (document.images) {
document[img_name].src = ArrOff[i].src;
  }
}
// End code for navigation rollover images


// Start code for browser identification
		function newImage(arg) {
			if (document.images) {
				rslt = new Image();
				rslt.src = arg;
				return rslt;
			}
		}
		userAgent = window.navigator.userAgent;
		browserVers = parseInt(userAgent.charAt(userAgent.indexOf("/")+1),10);
		mustInitImg = true;
		function initImgID() {di = document.images; if (mustInitImg && di) { for (var i=0; i<di.length; i++) { if (!di[i].id) di[i].id=di[i].name; } mustInitImg = false;}}
		function findElement(n,ly) {
			d = document;
			if (browserVers < 4)		return d[n];
			if ((browserVers >= 6) && (d.getElementById)) {initImgID; return(d.getElementById(n))}; 
			var cd = ly ? ly.document : d;
			var elem = cd[n];
			if (!elem) {
				for (var i=0;i<cd.layers.length;i++) {
					elem = findElement(n,cd.layers[i]);
					if (elem) return elem;
				}
			}
			return elem;
		}
		function changeImages() {
			d = document;
			if (d.images) {
				var img;
				for (var i=0; i<changeImages.arguments.length; i+=2) {
					img = null;
					if (d.layers) {img = findElement(changeImages.arguments[i],0);}
					else {img = d.images[changeImages.arguments[i]];}
					if (img) {img.src = changeImages.arguments[i+1];}
				}
			}
		}
// End code for browser identification

// Start code to determine the current time
function tod() {
	var today   = new Date();
	var year    = today.getYear();
	var month   = today.getMonth();
	var date    = today.getDate();
	var day     = today.getDay();
	var time    = today.getTime();
	var hours   = today.getHours();
	var minutes = today.getMinutes();
	var seconds = today.getSeconds();

	if (hours == 12) {
	  var amorpm = "p.m.";
	  } else if (hours == 0 ) {
	  hours = 12;
	  var amorpm = "a.m.";
	  } else if (hours > 12 ) {
	  hours = hours - 12;
	  var amorpm = "p.m.";
	  } else {
	  var amorpm = "a.m.";
	}

	// These two if statements add zeroes where needed to 'sanitize' the display
	if (minutes < 10) minutes = "0" + minutes;
	if (seconds < 10) seconds = "0" + seconds;

	var arrMonths = new Array("Jan","Feb","Mar","Apr","May","June","July","Aug","Sept","Oct","Nov","Dec");
	var month = arrMonths[today.getMonth()];

	var arrDays   = new Array("Sun","Mon","Tue","Wed","Thu","Fri","Sat");
	var day = arrDays[today.getDay()];

	if (year < 2000) {
	  year = year + 1900
	}
	document.write(day + " - " + month + " " + date + ", " + year + " - " + hours + ":" + minutes + " " + amorpm);
}
// End code to determine the current time

//     End externally added code here  -->