// JavaScript Document

// navigation rollover control

rollover = function(name,over) {
	if (document.getElementById) {
		var link_element = document.getElementById(name);
		if (over) {
			link_element.setAttribute("src","img/" + name + "O.gif");
		}
		else {
			link_element.setAttribute("src","img/" + name + ".gif");
		}
	}
}