function swap(imageName) {
	var i = document.getElementById('mainImg');
	i.src = 'Images/Gallery/Gallery_Images/' + imageName + '.JPG';
}

function over(ele) {
	ele.firstChild.src = '/Images/' + ele.title.toLowerCase() + '_over.jpg';
}

function out(ele) {
	ele.firstChild.src = '/Images/' + ele.title.toLowerCase() + '_off.jpg';
}