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