function pubTime(){
	today = new Date();
	Date = today.getDate();
	Month = today.getMonth();
	Year = today.getFullYear();
	
	switch(Month){
		case 0 :
			MonthName = "January";
			break;
		case 1 :
			MonthName = "February";
			break;
		case 2 :
			MonthName = "March";
			break;
		case 3 :
			MonthName = "April";
			break;
		case 4 :
			MonthName = "May";
			break;
		case 5 :
			MonthName = "June";
			break;
		case 6 :
			MonthName = "July";
			break;
		case 7 :
			MonthName = "August";
			break;
		case 8 :
			MonthName = "September";
			break;
		case 9 :
			MonthName = "October";
			break;
		case 10 :
			MonthName = "November";
			break;
		case 11 :
			MonthName = "December";
			break;
		}
	
	document.write("Today is "+Date+" "+MonthName+" "+Year);
	}