function ChangePic(elemId)
{
	var elem = document.getElementById(elemId);
	document.getElementById('big_img').src = elem.src;
}

function RefreshPics()
{
	//
}