function refreshTime() {
	var theDate = new Date();
	var hour, minute, second;
	var ampm;
	
	theDate.setTime(theDate.getTime() + (480 - theDate.getTimezoneOffset()));
	
	hour = theDate.getHours();
	if(hour >= 12) {
		ampm = "PM";
	} else {
		ampm = "AM";
	}
	if(hour < 10) hour = "0" + hour;
	
	minute = theDate.getMinutes();
	if(minute < 10) minute = "0" + minute;
	
	second = theDate.getSeconds();
	if(second < 10) second = "0" + second;
	
	document.getElementById("timeNow").innerHTML = hour + ":" + minute + ":" + second + " " + ampm + " (" + theDate.toDateString() + ")";
}