function changePicture(pic)
{
	document.getElementById('bigImagePic').src=pic;
}