function clock(){
	var date = new Date();
	var year = date.getFullYear();
	var month = date.getMonth();
	var day = date.getDate();
	var week = date.getDay();
	var hour = date.getHours();
	var minute = date.getMinutes();
	var second = date.getSeconds();
	var days = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
	var dayname = days[week];
	var months = new Array("January","February","March","April","May","June","July","August","September","October",	"November","December");
	var monthname = months[month];
	
	if (minute < 10) {minute = "0" + minute;}
	if (second < 10) {second = "0" + second;}
	
	var now=(dayname + ', ' + monthname + ' ' + day + ', ' + year + '      ' + hour + ':' + minute + ':' + second);
	tx = document.getElementById("clock");
	tx.firstChild.nodeValue = now;
	setTimeout("clock()", 1000)
	}