function getImgFileName()
{
  //n is the maximum of acceptable range
  var n = 2;

  var rndm = Math.floor(Math.random( ) * (n+1));

  var fileName = "realtimeLogo"+ rndm +".gif";

  return fileName;
}

//TO DO: re-code using DOM manipulation
document.write('<div id="header"><img src="images/TigerRoarRight.jpg" style="float:left;"/><div style="float:right;"><img src="images/TigerRoarLeft.jpg"/><br/><div class="email"><a href="mailto:realtimethrill@googlemail.com" id="animText">email us!</a></div></div><!--the rest must come after the floats--><img src="images/logos/' +getImgFileName()+ '" alt="our logo"/><script type="text/javascript">buildMenu()</script></div>');