function random_imglink(){
var myimages=new Array()
//specify random images below. You can have as many as you wish
myimages[1]="images/header_07a.jpg"
myimages[2]="images/header_07b.jpg"
myimages[3]="images/header_07c.jpg"
myimages[4]="images/header_07d.jpg"
myimages[5]="images/header_07e.jpg"
myimages[6]="images/header_07f.jpg"
myimages[7]="images/header_07g.jpg"
myimages[8]="images/header_07h.jpg"
myimages[9]="images/header_07i.jpg"
myimages[10]="images/header_07j.jpg"
myimages[11]="images/header_07k.jpg"
myimages[12]="images/header_07l.jpg"

var ry=Math.floor(Math.random()*myimages.length)
if (ry==0)
ry=1
document.write('<img src="'+myimages[ry]+'" border=0>')
}
random_imglink()