function imagesOnTop (imgId) {
	if (document.getElementById) {
		document.getElementById(imgId).src = 'images/' +imgId+ '_on.gif';
	}
}

function imagesOffTop (imgId) {
	if (document.getElementById) {
		document.getElementById(imgId).src = 'images/' +imgId+ '.gif';
	}
}