function random_image(cnt){
	document.getElementById('main_image').src = "./images/main_pic" + (Math.round( (cnt-1) * Math.random())+1) + ".jpg";
}