<!-- hide this script from non-javascript-enabled browsers	

/* This function is called to set up an image */
function NewImage(arg) 
	{
	if (document.images) 
		{
		rslt = new Image()
		rslt.src = arg
		return rslt
		}
	}

/* Pre-load all images to make browser seem faster */
if (document.images) 
	{
	astronomy_on = NewImage('sidebar/astronomy_on.gif')
	astronomy_off = NewImage('sidebar/astronomy_off.gif')
	dance_on = NewImage('sidebar/dance_on.gif')
	dance_off = NewImage('sidebar/dance_off.gif')
	flying_on = NewImage('sidebar/flying_on.gif')
	flying_off = NewImage('sidebar/flying_off.gif')
	music_on = NewImage('sidebar/music_on.gif')
	music_off = NewImage('sidebar/music_off.gif')
	physics_on = NewImage('sidebar/physics_on.gif')
	physics_off = NewImage('sidebar/physics_off.gif')
	schedule_on = NewImage('sidebar/schedule_on.gif')
	schedule_off = NewImage('sidebar/schedule_off.gif')
	fun_on = NewImage('sidebar/fun_on.gif')
	fun_off = NewImage('sidebar/fun_off.gif')
	students_on = NewImage('sidebar/students_on.gif')
	students_off = NewImage('sidebar/students_off.gif')
	misc_on = NewImage('sidebar/misc_on.gif')
	misc_off = NewImage('sidebar/misc_off.gif')
	software_on = NewImage('sidebar/software_on.gif')
	software_off = NewImage('sidebar/software_off.gif')
	information_on = NewImage('sidebar/information_on.gif')
	information_off = NewImage('sidebar/information_off.gif')
	home_on = NewImage('sidebar/home_on.gif')
	home_off = NewImage('sidebar/home_off.gif')
	pedagogy_on = NewImage('sidebar/pedagogy_on.gif')
	pedagogy_off = NewImage('sidebar/pedagogy_off.gif')
	}

var DayName = new Array ("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", 
	"Friday", "Saturday")
var MonthName = new Array ("January", "February", "March", "April", "May", 
	"June", "July", "August", "September", "October", "November", "December")

/* This function swaps images */
function ChangeImages(id, NewSrc) 
	{
	if (document.images) 
		{
		document[id].src = NewSrc
		}
	}

/* Function gives current time in 12hr format. */
function CurrentTime()
	{
	if (document.images)
		{
		var now = new Date
		var nowYear = now.getYear()
		var theHour = now.getHours()
		var theMin = now.getMinutes()
		var theSec = now.getSeconds()
		var theTime = DayName[now.getDay()]  + "  " + now.getDate() + " " + 
			MonthName[now.getMonth()] + " " + ((nowYear > 200) ? nowYear : nowYear + 1900) + ": "
		theTime += ((theHour > 12) ? theHour - 12 : theHour)
		theTime += ((theMin < 10) ? ":0" : ":") + theMin
		theTime += ((theSec < 10) ? ":0" : ":") + theSec
		theTime += ((theHour > 11) ? " PM" : " AM")
		return(theTime)
		}
	}


// stop hiding -->