function menu(){ window.location.href = document.form1.jumpmenu.value; }


//Formats time to display in top right of every page
function ShowTime(){

	var Month = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
	var Day = new Array("Sun", "Mon", "Tue","Wed","Thu","Friday","Sat");
	var t = new Date();
	var d = t.getDate();
	var D = Day[t.getDay()];
	var m = t.getMonth();
	var M = Month[m];
	var y = t.getFullYear();
	var MyDate = D + " " + d + " " + M + " " + y;

	document.write(MyDate);
}