function changeImg(id, mode)
{
  document.getElementById(id).src = "pix/nav/" + id + mode + ".jpg";
  return;
}