function GetDay(intDay){
    var DayArray = new Array("Sun", "Mon", "Tue", "Wed", 
                         "Thu", "Fri", "Sat")
    return DayArray[intDay]
    }

  function GetMonth(intMonth){
    var MonthArray = new Array("Jan", "Feb", "Mar",
                               "Apr", "May", "Jun",
                               "Jul", "Au", "Sep",
                               "Oct", "Nov", "Dec") 
    return MonthArray[intMonth] 	  	 
    }
  function getDateStrWithDOW(){
    var today = new Date()
    var year = today.getYear()
    if(year<1000) year+=1900
    var todayStr = GetDay(today.getDay()) + ", "
    todayStr += GetMonth(today.getMonth()) + " " + today.getDate()
    todayStr += ", " + year
    return todayStr
    }