function nav_mouseover(image) { image.src=image.src.substring(0,image.src.length-4)+"-hover.jpg"; }
function nav_mouseout(image) { image.src=image.src.substring(0,image.src.length-10)+".jpg"; }