function change(pic_name)
{
  window.document.images[pic_name].src="/images/nav_"+pic_name+"_hi.gif"; 
};

function change_back(pic_name)
{
  window.document.images[pic_name].src="/images/nav_"+pic_name+"_low.gif"; 
};