/*

*/

function randimg() { } ; r = new randimg() ; n = 0

r[n++]= '<img src="/faculty/educat/pep/images/ticker/lib_1.jpg" width="777" height="133" alt="header image" />'

i=Math.floor(Math.random() * n) ; 
document.write( r[i] )