function random_imglink(){
var myimages=new Array()
//specify random images below. You can have as many as you wish
myimages[1]="/screens/welcome1.gif"
myimages[2]="/screens/welcome2.gif"
myimages[3]="/screens/welcome3.gif"
myimages[4]="/screens/welcome4.gif"
myimages[5]="/screens/welcome5.gif"
myimages[6]="/screens/welcome6.gif"
myimages[7]="/screens/welcome7.gif"
myimages[8]="/screens/welcome8.gif"
myimages[9]="/screens/welcome9.gif"
myimages[10]="/screens/welcome10.gif"
//specify corresponding text below
var imagetext=new Array()
imagetext[1]="Burritt Library Classroom, CCSU"
imagetext[2]="Burritt Library Reference Desk"
imagetext[3]="Haas Library, WCSU"
imagetext[4]="Smith Library, ECSU"
imagetext[5]="Haas Library, WCSU"
imagetext[6]="Haas Library, WCSU"
imagetext[7]="Smith Library, ECSU"
imagetext[8]="Law Reading Room, State Library"
imagetext[9]="Genealogy Index Corridor, State Library"
imagetext[10]="CT State Library"
var ry=Math.floor(Math.random()*myimages.length)
if (ry==0)
ry=1
document.write(''+imagetext[ry]+' ')
}
//random_imglink()
//-->