/*  Declare an Array Variable for Random selection of the image */
var random_background = new Array();
var random_background_alt = new Array();

/* Declare a counter variable which will be use to iteration within the number of image element  and set the initial value  to 0 */
var number = 0;

/* Iterate to Banner/BannerImages element and set the value of BackgroundImage/Alt element to random_background_alt variable */

	random_background[number++] = "../images/Banners/Public_Home/Public_Image_1.jpg";
	random_background[number++] = "../images/Banners/Public_Home/Public_Image_2.jpg";
	random_background[number++] = "../images/Banners/Public_Home/Public_Image_3.jpg";
	
	
	random_background[number++] = "../images/Banners/Public_Home/Public_Image_4.jpg";
	random_background[number++] = "../images/Banners/Public_Home/Public_Image_5.jpg";
	random_background[number++] = "../images/Banners/Public_Home/Public_Image_6.jpg";
	
number = 0;

/*  Generate Random Number which will be use as index of current image */

	random_background_alt[number++]  = "";
	random_background_alt[number++]  = ""; 
	random_background_alt[number++]  = "";
	
	random_background_alt[number++]  = "";
	random_background_alt[number++]  = "";
	random_background_alt[number++]  = "";

var random_background_number = Math.floor(Math.random() * number);
       
       function random_image()
{
	if (getBannerObj("sBackgroundImage")==null) return;
	getBannerObj("sBackgroundImage").style.display = 'block'
	if (document.all)
	    {
		document.images("BackgroundImage").src = random_background[random_background_number];
		document.images("BackgroundImage").alt = random_background_alt[random_background_number];
		
		//getBannerObj("BannerContainer").height = document.images("BackgroundImage").height;
		
		}
	else
	    {
		document.getElementById("BackgroundImage").setAttribute("src", random_background[random_background_number]);
		document.getElementById("BackgroundImage").setAttribute("alt", random_background_alt[random_background_number]);
		
		
		}
} 


function getBannerObj(id) 
{
	if (document.getElementById) {
	
		return document.getElementById(id);
		}
	else if (document.all) {
		return document.all[id];
		}
}