function header() { var topbanner=new Array() topbanner[0]='

' topbanner[1]='

' topbanner[2]='

' topbanner[3]='

' var whichtop=Math.floor(Math.random()*(topbanner.length)) document.write(topbanner[whichtop]) }