/*
writes the timestamp to the element with id datetoday
*/
      function writeDate(){
	    var myDate = new Date();
		var days = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
		var months = new Array ("January", "February", "March", "April", "May", "June", "July", 
		                        "August", "September", "October", "November", "December");

        document.getElementById("datetoday").innerHTML = days[myDate.getDay()]
		                                                 + ', ' + months[myDate.getMonth()]
														 + ' ' + myDate.getDate() + ', '
														 + myDate.getFullYear();
	  }

	 window.onload=writeDate;