// JavaScript Document
	<!--
		function timedisplay(target){

		var month=new Array(12)
		month[0]="January"
		month[1]="February"
		month[2]="March"
		month[3]="April"
		month[4]="May"
		month[5]="June"
		month[6]="July"
		month[7]="August"
		month[8]="September"
		month[9]="October"
		month[10]="November"
		month[11]="December"		
		
		var week=new Array(7)
		week[0]="Sun";
		week[1]="Mon";
		week[2]="Tue";
		week[3]="Wed";
		week[4]="Thu";
		week[5]="Fri";
		week[6]="Sat";
			
		today=new Date();
		var displayTime = document.getElementById(target);
		displayTime.innerText = today.getDate() + " " + month[today.getMonth()] + " " + today.getFullYear() + " [" + week[today.getDay()] + "] " + today.getHours() + ":" + today.getMinutes() + ":" + today.getSeconds();
		setTimeout("timedisplay('displayTime')",1000)}
	-->