// JavaScript Document
function random_banner(){
var banner=new Array()
banner[1]="Banners/Banner-1.gif"
banner[2]="Banners/Banner-2.gif"
banner[3]="Banners/Banner-3.jpg"
banner[4]="Banners/Banner-4.jpg"
var rn=Math.floor(Math.random()*banner.length)
if (rn==0)
rn=1
document.write('<img src="'+banner[rn]+'" border=2>')
}
random_banner()