function ChangeBigPicture (bigPicUrl)
{
	var theBigPicture = document.getElementById('bigPicture');
	theBigPicture.src = bigPicUrl;
}