var edigiImgSrc = new Array(); 

			var edigiImgHerf = new Array();			
			edigiImgSrc[0] = "images/top_photo1.jpg"; 
			edigiImgSrc[1] = "images/top_photo2.jpg"; 
			edigiImgSrc[2] = "images/top_photo3.jpg"; 
			edigiImgSrc[3] = "images/top_photo4.jpg"; 
			edigiImgSrc[4] = "images/top_photo5.jpg";			
			var edigiNumber = Math.floor(Math.random()*edigiImgSrc.length);
			var randompic = edigiImgSrc[edigiNumber];
			function ran_pic()
			{
			document.getElementById('top_pic').src = randompic;
			//loadmenu('smenu1' );
			}