<!--

// global variables 
var imgSRC, imgHREF;

function rotateBanner()
{
	// array of image names and links
	arrBanners = new Array()
	arrBanners[0]= "../trophies/slbanr02.jpg,http://www.setileague.org";
	arrBanners[1]= "../trophies/slbanr04.jpg,http://www.setileague.org";
	arrBanners[2]= "../trophies/slbanr07.jpg,http://www.setileague.org";
	arrBanners[3]= "../trophies/slbanr09.jpg,http://www.setileague.org";
	arrBanners[4]= "../trophies/slbanr10.jpg,http://www.setileague.org";
	arrBanners[5]= "../trophies/slbanr11.jpg,http://www.setileague.org";
	arrBanners[6]= "../trophies/slbanr13.jpg,http://www.setileague.org";
	arrBanners[7]= "../trophies/slbanr20.jpg,http://www.setileague.org";
	arrBanners[8]= "../trophies/slbanr24.jpg,http://www.setileague.org";
	arrBanners[9]= "../trophies/drmom.gif,http://www.geocities.com/muriel_drmom/";
	arrBanners[10]= "../trophies/drseti.gif,http://drseti.com";

	// randomly select which banner to display
	var rndNumber = parseInt(Math.random() * arrBanners.length);
	
	rndBanner(arrBanners[rndNumber]);
	
	// build the href and img tags.
	//document.getElementById("banner").innerHTML = "<a href='" + imgHREF + "'><img border='0' src='" + imgSRC + "'></a>";
	document.write("<a href='" + imgHREF + "'><img border='0' src='" + imgSRC + "'></a>");	
}

function rndBanner(arg)
{
	// split out the image and href
	var rndBanner = arg.split(",")
	
	// set global variables
	imgSRC = rndBanner[0];
	imgHREF = rndBanner[1];
}

-->