// JavaScript Document
			<!-- Begin
				function WelcomeBannerSelector() {
				// Set up the image files to be used.
					var WelcomeBanner = new Array() 
					// do not change this
					// To add more image files, continue with the
					// pattern below, adding to the array.

					WelcomeBanner[0] = 'images/banners/welcome_banner_1.gif'
					WelcomeBanner[1] = 'images/banners/welcome_banner_2.gif'
					WelcomeBanner[2] = 'images/banners/welcome_banner_3.gif'
					WelcomeBanner[3] = 'images/banners/welcome_banner_4.gif'


					var k = 0
					var q = WelcomeBanner.length;
					var preBuffer = new Array()
					for (h = 0; h < q; h++){
					   preBuffer[h] = new Image()
					   preBuffer[h].src = WelcomeBanner[h]
					}
					var WelcomeBannerImage = Math.round(Math.random()*(q-1));
					//document.write('<img src="'+theImages[BannerImage]+'">');
					//document['imgBanner'].src = theImages[BannerImage];
					//document.getElementById('imgBanner').style.visibility=true;
					document.getElementById('welcome_banner').style.backgroundImage = 'url('+WelcomeBanner[WelcomeBannerImage]+')';
				}
				
			//  End -->