/*
function MM_preloadImages() { //v3.0
 var d=document; if(d.images){ if(!d.MM_p) d.MM_p=new Array();
  var i,j=d.MM_p.length,a=MM_preloadImages.arguments; for(i=0; i<a.length; i++)
  if (a[i].indexOf("#")!=0){ d.MM_p[j]=new Image; d.MM_p[j++].src=a[i];}}
}
*/
function goBack( ) {
	history.go(-1)
}



function goTo( url ) {
	window.location = url;
}



function swapImage( e, fileName ) {
	if( e.id==null )
		document.getElementById(e).src = fileName;
	else
		e.src = fileName;
}


function changeClass( e, className ) {
	if( e.id==null )
		document.getElementById(e).className = className;
	else
		e.className = className;
}



function jsClock ( ){
	var currentDateTime = new Date ( );
	var monthNames = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");

	var currentDay = currentDateTime.getDate ( );
	var currentMonth = currentDateTime.getMonth ( );
	var currentYear = currentDateTime.getFullYear ( );
	var currentHours = currentDateTime.getHours ( );
	var currentMinutes = currentDateTime.getMinutes ( );
	var currentSeconds = currentDateTime.getSeconds ( );
	
	// Convert month integer to month name
	currentMonth = monthNames[currentMonth];
	// 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 "0" hours to "12"
	currentHours = ( currentHours == 0 ) ? 12 : currentHours;
	// Display Clock
	document.getElementById("clock").innerHTML = currentMonth + " " + currentDay + ", " + currentYear + "&nbsp;&nbsp;" + currentHours + ":" + currentMinutes + ":" + currentSeconds + " " + timeOfDay;
}