function changepicture(small_pic)
{
	var bigPic = document.getElementById("bigpic_gallery");
	var bigpic_path = bigPic.src; 
	bigPic.src = bigpic_path.slice(0,bigpic_path.lastIndexOf('/')+1) + small_pic;
}