<!--

function randomImage(numMax)
{
  var now = new Date();
  var time = now.getTime();
  var imageNumber = 1 + Math.round((time/10) % numMax);
  document.images["backy"].src = "back" + imageNumber + ".jpg";
}

-->