// JavaScript Document
// change the roll over titles just above the carousel
var oldText = "<strong>Highlights from 2008/2009</strong>";
function txt(newText, clicked, titleText) {	
	with (document) if (getElementById && ((obj=getElementById("topTitles"))!=null)){
		oldText = getElementById("topTitles").innerHTML;
		with (obj) innerHTML = "<strong>Highlights from 2008/2009:</strong> " + titleText;
		if (clicked == "yes"){
			oldText = "<strong>Highlights from 2008/2009:</strong> " + titleText;
		}
	}
}
// revert to original title text on mouse out if user did not actually click
function txtCl(){
	with (document) if (getElementById && ((obj2=getElementById("topTitles"))!=null)){
		with (obj2) innerHTML = oldText;
	}
}