function swapImage(imgID, imgFile) {
	imgID.src = imgFile;
}
function showSubMenu(menuID) {
	document.getElementById(menuID).className = 'show';
}
function HiLiteMe() {
	for (var i = 0; i < HiLiteMe.arguments.length; i++) {
		document.getElementById(HiLiteMe.arguments[i]).style.fontWeight = 'bold';
	}
}