var enabled = 0;
   today = new Date();
   var day;   var date;
   if(today.getDay()==0)     day = ", Sunday"
   if(today.getDay()==1)     day = ", Monday"
   if(today.getDay()==2)     day = ", Tuesday"
   if(today.getDay()==3)     day = ", Wednesday"
   if(today.getDay()==4)     day = ", Thursday"
   if(today.getDay()==5)     day = ", Friday"
   if(today.getDay()==6)     day = ", Saturday"
   if(today.getMonth()==0)    month="Jan."
   if(today.getMonth()==1)    month="Feb."
   if(today.getMonth()==2)    month="Mar."
   if(today.getMonth()==3)    month="Apr."
   if(today.getMonth()==4)    month="May"
   if(today.getMonth()==5)    month="Jun."
   if(today.getMonth()==6)    month="Jul."
   if(today.getMonth()==7)    month="Aug."
   if(today.getMonth()==8)    month="Sept."
   if(today.getMonth()==9)    month="Oct."
   if(today.getMonth()==10)    month="Nov."
   if(today.getMonth()==11)    month="Dec."
   datestr =" "+ month +" "+today.getDate()+", "+(today.getYear())+ " " +day;
   document.write(datestr);