function setSrc(imgId){
	newSrc = new String('/images/nav-' + imgId + '-up.gif')
	document.getElementById(imgId).src = newSrc
}

function resetSrc(imgId){
	originalSrc = new String('/images/nav-' + imgId + '.gif')
	document.getElementById(imgId).src = originalSrc
}