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