<!--
//
// create the objects and functions necessary for hover button operation.
//
homeOff 	= new Image();
homeOn 	= new Image();
homeClick 	= new Image();
homeOff.src = "images/home.gif";
homeOn.src 	= "images/homeOver.gif";
//homeClick.src = "images/homeClick.gif";
historyOff		= new Image();
historyOn 		= new Image();
historyClick 	= new Image();
historyOff.src 	= "images/history.gif";
historyOn.src 	= "images/historyOver.gif";
//historyClick.src 	= "images/historyClick.gif";
eventsOff 		= new Image();
eventsOn 		= new Image();
eventsClick 	= new Image();
eventsOff.src 	= "images/events.gif";
eventsOn.src 	= "images/eventsOver.gif";
//eventsClick.src 	= "images/eventsClick.gif";
commOff = new Image();
commOn = new Image();
commClick = new Image();
commOff.src = "images/cal.gif";
commOn.src = "images/calOver.gif";
//commClick.src = "images/commClick.gif";

function javHoverButton() {
	document[javHoverButton.arguments[0]].src = eval(javHoverButton.arguments[1] + ".src");
}
//
//
//
-->