
	<!--
		// JavaScript to interpolate random images into a page.
		var ic = 13;     // Number of alternative images
		var xoxo = new Array(ic);  // Array to hold filenames

	xoxo[0] = "/images/topbars/audience.jpg";
	xoxo[1] = "/images/topbars/mini_event.jpg";
	xoxo[2] = "/images/topbars/conference.jpg";
	xoxo[3] = "/images/topbars/speaker.jpg";
	xoxo[4] = "/images/topbars/nintendo.jpg";
	xoxo[5] = "/images/topbars/storeum.jpg";
	xoxo[6] = "/images/topbars/agm2005.jpg";
	xoxo[7] = "/images/topbars/speaker2.jpg";	
	xoxo[8] = "/images/topbars/canucks.jpg";
	xoxo[9] = "/images/topbars/agm2006.jpg";
	xoxo[10] = "/images/topbars/agm2006_2.jpg";
	xoxo[11] = "/images/topbars/golf2006.jpg";
	xoxo[12] = "/images/topbars/golf2006_2.jpg";
	

	function pickRandom(range) {
	if (Math.random)
	return Math.round(Math.random() * (range-1));
	else {
	var now = new Date();
	return (now.getTime() / 1000) % range;
	}
	}
	// Write out an IMG tag, using a randomly-chosen image name.
	var choice = pickRandom(ic);
	// -->