function RunMainRandom()
{

var topbanner=new Array()

topbanner[0]='<img src="../images/body/king.jpg" width="538" height="304">'

topbanner[1]='<img src="../images/body/minimax.jpg" width="538" height="304">'

topbanner[2]='<img src="../images/body/royce.jpg" width="538" height="304">'

topbanner[3]='<img src="../images/body/walter.jpg" width="538" height="304">'

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