var image_rotator;

function  rotate_image( ) {
  i = new Dom_Object('rotatingimage');
  if  ( !i.obj )  {
    return  false;
  }
  d = new Date();
  i.obj.src = 'images/rotator.php?t=' + d.getTime();
  image_rotator = setTimeout('rotate_image()', 5000);
}