function changePicture(t, picName) {
	document.getElementById('mainPicture').src = '/images/' + picName;
	document.getElementById('mainPicture').alt = t.getAttribute('alt');
	document.getElementById('mainPicture').title = t.getAttribute('title');
	document.getElementById('picTitle').innerHTML = t.getAttribute('alt')
	return false;
}