function change_img(img)
{
	var mainImg = document.getElementById("main_img");
	mainImg.src = img;
}