var theImages=['front_panel_background1', 'front_panel_background2', 'front_panel_background3', 'front_panel_background4', 'front_panel_background5', 'front_panel_background6', 'front_panel_background7', 'front_panel_background8', 'front_panel_background9', 'front_panel_background10', 'front_panel_background11','front_panel_background12','front_panel_background13','front_panel_background14'];
			var p = theImages.length;
			var whichImage = Math.round(Math.random()*(p-1));
			onload=function() {
				document.getElementById('picture_window').style.background="url(images/"+theImages[whichImage]+".jpg) no-repeat";
			}