function changeImage(name) {
 //alert(document.getElementById(name).style.background);
 document.getElementById(name).style.backgroundImage="url(images/nav_button2.gif)";
}

function restoreImage(name) {
  document.getElementById(name).style.backgroundImage="url(images/nav_button.gif)";
}