// date stuff used in cached pages
dayofweek= new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
dayofmonth= new Array("","1st","2nd","3rd","4th","5th","6th","7th","8th","9th","10th","11th","12th","13th","14th","15th","16th","17th","18th","19th","20th","21st","22nd","23rd","24th","25th","26th","27th","28th","29th","30th","31st");
months= new Array("January","February","March","April","May","June","July","August","September","October","November","December");

// returns todays date as a formated string
function theDate(){
 var mydate=new Date();
 var year=mydate.getYear();
 if (year < 1000) year+=1900;
 var day=mydate.getDay();
 var month=mydate.getMonth();
 var daym=mydate.getDate();
 todaysDate=" "+dayofweek[day]+" "+dayofmonth[daym]+" "+months[month]+" "+year;
 return todaysDate;
}