// Put a random image on the front page

var randimage = new Array(8);
randimage[0] = 'frontimg0.jpeg'
randimage[1] = 'frontimg1.jpeg'
randimage[2] = 'frontimg2.jpeg'
randimage[3] = 'frontimg3.jpeg'
randimage[4] = 'frontimg4.jpeg'
randimage[5] = 'frontimg5.jpeg'
randimage[6] = 'frontimg6.jpeg'
randimage[7] = 'frontimg7.jpeg'

var rnd_no = Math.round((randimage.length-1)*Math.random());

document.frontimg.src = randimage[rnd_no];

function frontimg() {
  return(randimage[rnd_no])
}