function hide(elementId) {
	if (document.getElementById) {
		document.getElementById(elementId).style.visibility = "hidden"
	} else if (document.layers) {
		document.layers[elementId].visibility = "hide"
	} else if (document.all) {
		document.all[elementId].style.visibility = "hidden"
	}
}

function show(elementId) {
	if (document.getElementById) {
		document.getElementById(elementId).style.visibility = "visible"
	} else if (document.layers) {
		document.layers[elementId].visibility = "show"
	} else if (document.all) {
		document.all[elementId].style.visibility = "visible"
	}
}

function changeText(elementId,theText){
	if (document.getElementById) {
		document.getElementById(elementId).innerHTML = theText
	}
}

function updateClock(){
	//var currentTime = new Date (); 
	var currentMillisecond = localTime.getTime() + 1000;
	var currentTime = new Date(currentMillisecond);
	localTime = currentTime;

	var currentYear = currentTime.getFullYear();
	var currentMonthIndex = currentTime.getMonth();
	var currentDay = currentTime.getDate();	   
	var currentHours = currentTime.getHours();
	var currentMinutes = currentTime.getMinutes();
	var currentSeconds = currentTime.getSeconds();
	var currentWeekday = currentTime.getDay();
	
	var months = new Array(12);
	months[0] = "January";
	months[1] = "February";
	months[2] = "March";
	months[3] = "April";
	months[4] = "May";
	months[5] = "June";
	months[6] = "July";
	months[7] = "August";
	months[8] = "September";
	months[9] = "October";
	months[10] = "November";
	months[11] = "December";
	
	var weekday=new Array(7);
	weekday[0]="Sunday";
	weekday[1]="Monday";
	weekday[2]="Tuesday";
	weekday[3]="Wednesday";
	weekday[4]="Thursday";
	weekday[5]="Friday";
	weekday[6]="Saturday";
	
	// Pad the minutes and seconds with leading zeros, if required
	currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;
	currentSeconds = ( currentSeconds < 10 ? "0" : "" ) + currentSeconds;
	
	// Choose either "AM" or "PM" as appropriate
	var timeOfDay = ( currentHours < 12 ) ? "AM" : "PM";
	
	// Convert the hours component to 12-hour format if needed
	currentHours = ( currentHours > 12 ) ? currentHours - 12 : currentHours;
	
	// Convert an hours component of "0" to "12"
	currentHours = ( currentHours == 0 ) ? 12 : currentHours;
	
	// Compose the string for display
	var currentTimeString = weekday[currentWeekday] + ", " + months[currentMonthIndex] + " " + currentDay + ", " + currentYear + "   " + currentHours + ":" + currentMinutes + ":" + currentSeconds + " " + timeOfDay;
	
	// Update the time display
	document.getElementById("clock").firstChild.nodeValue = currentTimeString;
}