var imagenumber = 7 ;
var randomnumber = Math.random() ;
var rand1 = Math.round( (imagenumber-1) * randomnumber) + 1 ;
images = new Array
images[1] = "1.gif"
images[2] = "2.gif"
images[3] = "3.gif"
images[4] = "4.gif"
images[5] = "5.gif"
images[6] = "7.gif"
images[7] = "8.gif"
var image = images[rand1]
document.write('<img src="../images/top_frame/' + image + '" vspace="3">')