todaysDate = new Date(); dayarray = new Array("Sun","Mon","Tue","Wed","Thu","Fri","Sat");
montharray = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
document.write('<div class="date_lineproperties">');
document.write(dayarray[todaysDate.getDay()] + ", " + todaysDate.getDate() + " " + montharray[todaysDate.getMonth()]   + " ");
if (todaysDate.getYear() < 1000)
	{
		document.write(todaysDate.getYear() + 1900);
	}
 else
	{
		document.write(todaysDate.getYear());
	}
document.write('</div>');