setInterval('ImageChange()',10*1000); 
  
  function ImageChange() {
//    window.location.reload(); // crude but effective
    var img = window.document.getElementById('imagerotate1');
    var src = img.src;
    var rand = Math.floor(Math.random()*10000000);
    var I = src.indexOf('?');
    if (I > 0) {
      src = src.substr(0,I);
    }
    src += "?" + rand;
    img.src = src;
  }