// JavaScript Document
window.onload = choosePic;

var adImages = new Array("images/gall1.jpg","images/gall2.jpg","images/gall3.jpg","images/gall4.jpg","images/gall5.jpg","/images/diam.jpg","images/gall6.jpg","images/gall7.jpg","images/gall8.jpg","images/gall9.jpg","images/gall10.jpg","images/gall11.jpg","images/gall12.jpg","images/gall13.jpg","images/gall14.jpg","images/gall15.jpg","images/gall16.jpg","images/gall17.jpg", "images/gall18.jpg","images/gall19.jpg","images/gall20.jpg","images/gall21.jpg","images/gall22.jpg","images/gall23.jpg","images/gall24.jpg","images/gall25.jpg","images/gall26.jpg","images/gall27.jpg","images/gall28.jpg","images/gall29.jpg","images/gall30.jpg","images/gall31.jpg","images/gall32.jpg","images/gall33.jpg","images/gall34.jpg","images/gall35.jpg", "images/pnas_symm_small.jpg","images/phys_rev_li.jpg","images/HaarLogo_sm.jpg", "images/quasi_1d_sm.jpg");

function rotate() {
	thisAd++;
	if (thisAd == adImages.length) {
		thisAd = 0;
	}
	document.getElementById("adBanner").src = adImages[thisAd];

	setTimeout("rotate()", 3 * 1000);
}


function choosePic() {
	thisAd = Math.floor((Math.random() * adImages.length));
	document.getElementById("adBanner").src = adImages[thisAd];
	
	rotate();
}