function gif_over(img) {
	img.src=img.src.replace('.gif','r.gif');
}
function gif_out(img) {
	img.src=img.src.replace('r.gif','.gif');
}


function preload() {
  if (document.images) {
    var imgsrc = preload.arguments;
    arr=new Array(imgsrc.length);
    for (var j=0; j<imgsrc.length; j++) {
      arr[j] = new Image;
      arr[j].src = imgsrc[j];
    }
  }
}