function switch_image(ref,img,desc,title) {
   document.getElementById('mainimg').src = '/repository/'+img;
   if(ref != '') {
      document.getElementById('refimg').src = '/repository/'+ref;
   }
   else {
      document.getElementById('refimg').src = '/repository/dot.gif';
   }
   document.getElementById('title').innerHTML = title;
}