function getimg()
{
	var ran_number= Math.random()*4;
	var ran_number=Math.round(ran_number);
	var ran_number="middle_image"+ran_number+".jpg";
	document.mainimg.src="images/"+ran_number;
}