function mouseOv(id_) {
	document.getElementById('mnSup'+id_).src = '/img/mn' + id_ + 'Over.gif';
}
function mouseOn(id_) {
	document.getElementById('mnSup'+id_).src = '/img/mn' + id_ + 'On.gif';
}
function mouseOff(id_) {
	document.getElementById('mnSup'+id_).src = '/img/mn' + id_ + '.gif';
}