function menuOv(id_) {
	document.getElementById(id_).src = '/img/mn' + id_ + 'On.gif';
}
function menuOff(id_) {
	document.getElementById(id_).src = '/img/mn' + id_ + '.gif';
}