function hover(img){
			img.src=img.src.replace(".gif", "_hover.gif")
}

function doNotHover(img){
			img.src=img.src.replace("_hover.gif", ".gif")
}