<!--
        var browserName = navigator.appName;
        var browserVer = parseInt(navigator.appVersion);
	var version = "";
	
        if (browserName == "Netscape" && browserVer >= 3)
           version = "n3";
   	else 
           version = "n2";
	   
        if (browserName == "Microsoft Internet Explorer" && browserVer >= 4)
           version = "n3";
   
        if (version == "n3") {
       
	   function disclaimer(url){
	      window.open(url, 'disclaim','resizable=yes,status=no,height=300,width=400,toolbar=no,scrollbars=yes,copyhistory=no');
           }

        }
	
        function img_act(imgName) {
           if (version == "n3") {
		var menuarr = new Array('01','02','03','04','05','06','07','08');
		for( var i=0; i< menuarr.length; i++ ) {
			var menuimg = document.getElementById("menu"+menuarr[i]);
			if( menuimg.name == imgName && menuimg.src.indexOf(imgName+"-on.gif") == -1 ) {
				menuimg.src = "/images/menu"+menuarr[i]+"-over.gif";
			}
		}
           }
        }
	
        function img_inact(imgName) {
           if (version == "n3") {
		var menuarr = new Array('01','02','03','04','05','06','07','08');
		for( var i=0; i< menuarr.length; i++ ) {
			var menuimg = document.getElementById("menu"+menuarr[i]);
			//alert( imgName + " : " + menuimg.name + " : " + (menuimg.src.indexOf(imgName+"-on.gif") == -1) );
			if( menuimg.name == imgName && menuimg.src.indexOf(imgName+"-on.gif") == -1 ) {
				menuimg.src = "/images/menu"+menuarr[i]+"-off.gif";
			}
		}
           }
        }
	
	function DateDisplay() {
		
		var days = new Array(7)
		days[1] = "Sunday";
		days[2] = "Monday";
		days[3] = "Tuesday";
		days[4] = "Wednesday";
		days[5] = "Thursday";
		days[6] = "Friday";
		days[7] = "Saturday";
		
		var months = new Array(12)
		months[1] = "January";
		months[2] = "February";
		months[3] = "March";
		months[4] = "April";
		months[5] = "May";
		months[6] = "June";
		months[7] = "July";
		months[8] = "August";
		months[9] = "September";
		months[10] = "October";
		months[11] = "November";
		months[12] = "December";
		
		
		var today = new Date()
		var day = days[today.getDay() + 1]
		var month = months[today.getMonth() + 1]
		var date = today.getDate()
		var year = today.getYear()
		
		if (year < 1000){year = 1900 + year}
		
		document.write( "<b>" + day + ", " + month + " " + date + ", " + year + "</b>")
		
	}
// -->
