function DisplayDate()
{
var this_month = new Array(12);
var this_wday = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
this_month[0] = "January";
this_month[1] = "February";
this_month[2] = "March";
this_month[3] = "April";
this_month[4] = "May";
this_month[5] = "June";
this_month[6] = "July";
this_month[7] = "August";
this_month[8] = "September";
this_month[9] = "October";
this_month[10] = "November";
this_month[11] = "December";
var today = new Date();
var wday = today.getDay();
var day = today.getDate();
var month = today.getMonth();
var year = today.getYear();
if (year < 1900)
{
year += 1900;
}
document.write(this_wday[wday]+", "+this_month[month]+" "+day+", "+year);
}
function header_pad()
{
var str="";
str+="";
str+="";
str+="
";
//str+="
";
str+="
";
str+="
";
str+="
";
str+="
";
str+="
";
str+="
";
str+="
";
str+="
";
str+="
";
str+="
";
str+="
";
str+="
";
str+=" ";
str+=" ";
str+=" 
";
str+=" 
";
str+=" 
";
str+=" 
";
str+=" 
";
str+=" 
";
str+=" 
";
str+=" 
";
str+=" 
";
str+=" 
";
str+=" 
";
str+=" 
";
str+=" 
