<!--
function display_date()
{
var d=document;
var day="";
var month="";
var myweekday="";
var year="";

mydate = new Date();
myday = mydate.getDay();
mymonth = mydate.getMonth();
myweekday= mydate.getDate();
weekday= myweekday;

myyear= mydate.getFullYear();
year = myyear
if(myday == 0)
day = " Sun, "
else if(myday == 1)
day = " Mon, "
else if(myday == 2)
day = " Tue, "
else if(myday == 3)
day = " Wed, "
else if(myday == 4)
day = " Thu, "
else if(myday == 5)
day = " Fri, "
else if(myday == 6)
day = " Sat, "

if(mymonth == 0) {
month = "Jan "}
else if(mymonth ==1)
month = "Feb "
else if(mymonth ==2)
month = "Mar "
else if(mymonth ==3)
month = "Apr "
else if(mymonth ==4)
month = "May "
else if(mymonth ==5)
month = "June "
else if(mymonth ==6)
month = "July "
else if(mymonth ==7)
month = "Aug "
else if(mymonth ==8)
month = "Sep "
else if(mymonth ==9)
month = "Oct "
else if(mymonth ==10)
month = "Nov "
else if(mymonth ==11)
month = "Dec "

d.write(" " + day + month);
d.write(myweekday + ", " + year + " ");
}
//-->