function over(image)
  {
    image.src = image.src.substr(0,image.src.length-6)+"ov.gif"
  }
  function out(image)
  {
    image.src = image.src.substr(0,image.src.length-6)+"ot.gif"
  }