var bg = 3;     // Number of alternative images
var tag = new Array(bg);  // Array to hold filenames

tag[0] = "tagline1.gif";
tag[1] = "tagline2.gif";
tag[2] = "tagline3.gif";

function pickBanner(bannerange) {
if (Math.random)
return Math.round(Math.random() * (bannerange-1));
else {
   var now = new Date();
   return (now.getTime() / 1000) % bannerange;
}
}
// Write out an IMG tag, using a randomly-chosen image name.
var imagio = pickBanner(bg);

function tagme() {document.writeln('<img src="graphics/'+tag[imagio]+'" style="position:absolute; top:60px; right:10px;">');}

function mouse(over) {
	for (i=1; i<=10; i=i+1) {
		divItem[i].style.display = 'none';
		}

	if (over!=0) {
		divItem[over].style.display = 'block';
		divItem[over+1].style.display = 'block';
 		// divItem[0].style.display = 'none';
		}

	if (over==0) {
		// divItem[0].style.display = 'block';
		}
}