/*preCache_1 = new Image();
preCache_1.src = "img/button-hover.jpg";   

preCache_2 = new Image();
preCache_2.src = "img/ok.jpg"; 

preCache_3 = new Image();
preCache_3.src = "img/next-hover.jpg"; 

preCache_4 = new Image();
preCache_4.src = "img/prev-hover.jpg"; 
*/

function over(id)
{
  document.getElementById(id).src='img_det/'+id+'-det-hover.gif';
}

function out(id)
{
  document.getElementById(id).src='img_det/'+id+'-det.gif';
}