function showdate1() {
	var today=new Date();
	var m=today.getMonth() + 1;
	var d=today.getDate();
	var y=today.getFullYear();
	var a=today.getDay();
	switch (m) {
		case 1: m="January"; break;
		case 2: m="February"; break;
		case 3: m="March"; break;
		case 4: m="April"; break;
		case 5: m="May"; break;
		case 6: m="June"; break;
		case 7: m="July"; break;
		case 8: m="August"; break;
		case 9: m="September"; break;
		case 10: m="October"; break;
		case 11: m="November"; break;
		case 12: m="December"; break;
	}
	switch (a) {
		case 1: a="Monday";break;
		case 2: a="Tuesday";break;
		case 3: a="Wednesday";break;
		case 4: a="Thursday";break;
		case 5: a="Friday";break;
		case 6: a="Saturday";break;
		case 7: a="Friday";break;
	}
	document.write(a + ", " + m + " " + d + ", " + y);
}

function update1() {
	document.write("Last update: May 31, 2007")
}