main_a=new Array();
	main_a[0]='img/main_img01.jpg';
	main_a[1]='img/main_img02.jpg';
	main_a[2]='img/main_img03.jpg';
	main_a[3]='img/main_img04.jpg';

	
	function randomimg(){
		a=Math.floor(Math.random()*main_a.length);
		document.images["mainimg1"].src=main_a[a];
	}