function changeImage(imageNum)
	{
		var img = imageNum;
		var str = document.getElementById('mainimg').src;
        var str = str.replace(/large.*.jpg/i, "");
		elem = document.getElementById('mainimg').src=(str + 'large' + img + '.jpg');		
	}