function mion(what) {
	document.getElementById('mi' + what).src='images/core/_menuitem_hover.png';
}

function mioff(what) {
	document.getElementById('mi' + what).src='images/core/_menuitem.png';
}