var ic = 12;     // Number of alternative images
	var xoxo = new Array(ic);  // Array to hold filenames
        
	xoxo[0] = "./images/110_1008.jpg";
	xoxo[1] = "./images/rtmwatertaxi.jpg";
	xoxo[2] = "./images/Baroness.jpg";
	xoxo[3] = "./images/Bow_Mariner.jpg";
	xoxo[4] = "./images/Dorine.jpg";
	xoxo[5] = "./images/Front_Granite.jpg";
	xoxo[6] = "./images/HaldenDSCF0116.jpg";
	xoxo[7] = "./images/Lania.jpg";
	xoxo[8] = "./images/LegeroOPL.jpg";
	xoxo[9] = "./images/Poseidon_M.jpg";
	xoxo[10] = "./images/Erasmus1024x768_2.jpg";
	xoxo[11] = "./images/greatchinawall_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;
	}
	}
	var choice = pickRandom(ic);