function over(nr, src) 
{
  document.images[nr].src = src;
}

function out(nr, src) 
{
  document.images[nr].src = src;
}

