function random_topImage(){
var myimages=new Array()
//specify random images below. You can have as many as you wish
myimages[1]="images/topphotos-provost.jpg"
myimages[2]="images/topphotos-provost2.jpg"
myimages[3]="images/topphotos-provost3.jpg"
myimages[4]="images/topphotos-provost4.jpg"
myimages[5]="images/topphotos-provost5.jpg"
myimages[6]="images/topphotos-provost6.jpg"


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