<!-- 
// On images
//  ABOUT BUTTON A
buttonAon=new Image();
buttonAon.src="../images/about_fl.gif";
//  COURSES BUTTON B
buttonBon=new Image();
buttonBon.src="../images/courses_fl.gif";
//  SCHEDULE BUTTON C
buttonCon=new Image();
buttonCon.src="../images/schedule_fl.gif";
//  PUBLICATIONS BUTTON D
buttonDon=new Image();
buttonDon.src="../images/publications_fl.gif";
//  LINKS BUTTON E
buttonEon=new Image();
buttonEon.src="../images/links_fl.gif";
//  CONTACT BUTTON F
buttonFon=new Image();
buttonFon.src="../images/contact_fl.gif";

// Images Off
//  ABOUT BUTTON A
buttonAoff=new Image();
buttonAoff.src="../images/about.gif";
//  COURSES BUTTON B
buttonBoff=new Image();
buttonBoff.src="../images/courses.gif";
//  SCHEDULE BUTTON C
buttonCoff=new Image();
buttonCoff.src="../images/schedule.gif";
//  PUBLICATIONS BUTTON D
buttonDoff=new Image();
buttonDoff.src="../images/publications.gif";
//  LINKS BUTTON E
buttonEoff=new Image();
buttonEoff.src="../images/links.gif";
//  CONTACT  BUTTON F
buttonFoff=new Image();
buttonFoff.src="../images/contact.gif";

function imgAct(img_name) {
	document[img_name].src=eval(img_name+"on.src");
}
function imgInAct(img_name) {
	document[img_name].src=eval(img_name+"off.src");
}
function jumpPage(newLoc) {
	newPage=newLoc.options[newLoc.selectedIndex].value
	if (newPage !="") {
		window.location.href = newPage
	}
}
-->