function switchImage(id)
{
   var img_src = document.getElementById(id).src;
   if(img_src.indexOf('_over.jpg')==-1)
   {
     var new_src = img_src.replace(".jpg","_over.jpg");
     document.getElementById(id).src = new_src;
   }
   else
   {
     var new_src = img_src.replace("_over.jpg",".jpg");
     document.getElementById(id).src = new_src;
   }
}