function over(name, src){
	document.getElementById("" + name + "").src = "../images/" + src + ".gif"
	//alert(document.getElementById("" + name + "").src = "../nav/nav/" + src + ".gif");
}
function out(name, src){
	document.getElementById("" + name + "").src = "../images/" + src + ".gif"
}