function dateDump()	{

var now = new Date();
var monthName = now.getMonth() + 1;
var dayNumber = now.getDate();
var yearNumber = now.getYear();



if(monthName==1) Month="Jan";
if(monthName==2) Month="Feb";
if(monthName==3) Month="Mar";
if(monthName==4) Month="Apr";
if(monthName==5) Month="May";
if(monthName==6) Month="Jun";
if(monthName==7) Month="Jul";
if(monthName==8) Month="Aug";
if(monthName==9) Month="Sep"
if(monthName==10) Month="Oct";
if(monthName==11) Month="Nov";
if(monthName==12) Month="Dec";
if(yearNumber<2000) yearNumber = 1900+yearNumber;
/*
document.open();
 document.write(  dayNumber  + " " + Month + " " +  + yearNumber); */   // use this to when script is embedded in the page
return(" <font class='headlines'> <b> " + dayNumber + " </b></font><br> " + " " + Month);
}