// JavaScript Document

function swapPic(img, height) { 
	document['mainimage'].src = Gallery[img];
	document['mainimage'].height = height;
	document.getElementById("imgDesc").innerHTML = GalleryText[img];
}