function change_image($image)
	{
		document.getElementById('big_picture').src = $image;
	}