function banner() { } ; b = new banner() ; n = 0
b[n++]= "<IMG name=dmmhs SRC='img/oldport.jpg' border='0' ALT='old port'>"
b[n++]= "<IMG name=dmmhs SRC='img/princess.jpg' border='0' ALT='princess'>"
b[n++]= "<IMG name=dmmhs SRC='img/logo.jpg' border='0' ALT='logo'>"
b[n++]= "<IMG name=dmmhs SRC='img/museum.jpg' border='0' ALT='museum'>"
b[n++]= "<IMG name=dmmhs SRC='img/dredge.jpg' border='0' ALT='dredge'>"
b[n++]= "<IMG name=dmmhs SRC='img/old_tars.jpg' border='0' ALT='old tars'>"
b[n++]= "<IMG name=dmmhs SRC='img/mersey.jpg' border='0' ALT='River Mersey'>"
b[n++]= "<IMG name=dmmhs SRC='img/reflection.jpg' border='0' ALT='reflection'>"
b[n++]= "<IMG name=dmmhs SRC='img/baptist.jpg' border='0' ALT='Baptist Church'>"
b[n++]= "<IMG name=dmmhs SRC='img/seaview.jpg' border='0' ALT='Seaview Hotel'>"
i=Math.floor(Math.random() * n) ;
document.write( b[i] )