function on(name) {
	document.images[name].src="../files/navigation/" + name + "_over.gif"; 
	document.getElementById(name).style.display = "block";
}

function off(name) {
	document.images[name].src="../files/navigation/" + name + ".gif";
	document.getElementById(name).setAttribute("style", "display:none");
}	

function over(name) {
	document.images[name].src="../files/navigation/" + name + "_over.gif"; 
}

function out(name) {
	document.images[name].src="../files/navigation/" + name + ".gif"; 
}