// select a random header
var imgcount = 12;
var imgnames = new Array(imgcount);
        
imgnames[0] = "/images/greensmokehurn.gif";
imgnames[1] = "/images/hurndotcom.gif";
imgnames[2] = "/images/hurndotcom2.gif";
imgnames[3] = "/images/hurndotcom3.gif";
imgnames[4] = "/images/hurnfire.gif";
imgnames[5] = "/images/hurnglop.gif";
imgnames[6] = "/images/roughhurn.gif";
imgnames[7] = "/images/hurndotcom4.gif";
imgnames[8] = "/images/hurndotcom5.gif";
imgnames[9] = "/images/hurndotcom6.gif";
imgnames[10] = "/images/hurndotcom7.gif";
imgnames[11] = "/images/hurndotcom8.gif";

function randnum(range) {
  if (Math.random) return Math.round(Math.random() * (range-1));
  else {
    var now = new Date();
    return (now.getTime() / 1000) % range;
  }
}
var imgnum = randnum(imgcount);