var prec="";
function over(img)
{
 if(document.getElementById)
  if(document.getElementById("imgmap"))
  {
   if(prec) { document.getElementById("imgmap").src=prec; prec=""; }
   else { prec=document.getElementById("imgmap").src; document.getElementById("imgmap").src=img; }
  }
}