/**************************************************************

	Script	: Random Image Display
	adapted from "Random Image Display Using JavaScript"
	found online
	
	the following scripts may not be needed:

var image1 = new Image();
image1.src = "proto-images/j_bluelight2.jpg";
var image2 = new Image();
image2.src = "proto-images/tv_static1.jpg";
var image3 = new Image();
image3.src = "proto-images/tv_static3.jpg";
var image4 = new Image();
image4.src = "proto-images/tv_static4.jpg";
var image5 = new Image();
image5.src = "proto-images/blue-leaves.jpg";
var image6 = new Image();
image6.src = "proto-images/j_bluelight.jpg";
var image7 = new Image();
image7.src = "proto-images/red_white_black.jpg";
var image8 = new Image();
image8.src = "proto-images/doorknob-woods.jpg";


**************************************************************/


function randomimageid()
	{
	var img_name = new Array("proto-images/tv_static1.jpg", "proto-images/tv_static3.jpg", "proto-images/tv_static4.jpg", "proto-images/blue-leaves.jpg", "proto-images/j_bluelight3.jpg", "proto-images/tv_static2.jpg", "proto-images/doorknob-woods.jpg", "proto-images/content-provider.jpg", "proto-images/light_flicker3.gif", "proto-images/light_flicker5.gif", "proto-images/blue_flicker3.gif", "proto-images/ornate1b.jpg", "proto-images/palm4.jpg", "proto-images/blue_lines2.jpg")
	var l = img_name.length;
	var rnd_no = Math.floor(l*Math.random());
	document.getElementById("randomimage").src = img_name[rnd_no];
	}