function swapImage(elementID,imageFile) {
	document.getElementById(elementID).src = '/images/nav/'+imageFile;
}