// JavaScript Document
<!--
browser = navigator.appName;
if(browser == "Netscape"){
	document.write('<link rel="stylesheet" href="/include/css/default_FF.css" />');
	///include/css/default.css
	//alert(browser);
}

//-->

<!-- hide from old browsers
  function GetMonth(intMonth){
    var MonthArray = new Array("January", "February", "March",
                               "April", "May", "June",
                               "July", "August", "September",
                               "October", "November", "December") 
    return MonthArray[intMonth] 	  	 
    }
  function getDateStr(){
    var today = new Date()
    var year = today.getYear()
    if(year<1000) year+=1900
	
   var todayStr = GetMonth(today.getMonth()) + " " + today.getDate()
   todayStr += ", " + year
	//var todayStr =  today.getDate() + " " + GetMonth(today.getMonth())
	//todayStr += " " + year
    return todayStr
    }
//-->


