// JavaScript Document


function markerOver (thisElement) {
	currentMouse = document.getElementById(thisElement);
	currentMouse.setAttribute("src", "/graphics/nav/arrow.gif");
}


function markerOut (thisElement) {
	currentMouse = document.getElementById(thisElement);
	currentMouse.setAttribute("src", "/graphics/nav/dot.gif");
}