var image_path='pics/rndlogos/';
// preload 35 images, 0-34:
var pics=new Array(35);
for(var i=0; i<pics.length; i++)
{
  pics[i]=new Image();
  pics[i].src=image_path+i+'.png';
}
function hover(pat)
{
  var num=Math.floor(Math.random()*pics.length);
  pat.src=image_path+num+'.png';
}