var days= new Array(7);
days[0]= "Sun";
days[1]= "Mon";
days[2]= "Tues";
days[3]= "Wed";
days[4]= "Thurs";
days[5]= "Fri";
days[6]= "Sat";
var months= new Array(12);
months[0]= "January";
months[1]= "February";
months[2]= "March";
months[3]= "April";
months[4]= "May";
months[5]= "June";
months[6]= "July";
months[7]= "August";
months[8]= "September";
months[9]= "October";
months[10] ="November";
months[11] ="December";
var time= new Date();
var strDay = days[time.getDay()];
var strMonth = months[time.getMonth()];
var year= time.getYear();
year < 2000? year+= 1900:year;
document.write('<font class="pr_no_disp" size="1" face="Arial">' + strDay + " " + time.getDate() + " " + strMonth 
	+ " " + year + '</font>');
// End