function MenuItem_on(MI) {
	if (document.images) { document[MI].src = "../Pict/Menu/" + MI + "_on.gif"; } }

function MenuItem_off(MI) {
	if (document.images) { document[MI].src = "../Pict/Menu/" + MI + "_off.gif"; } }

function MenuItem_pos(MI) {
	if (document.images) { document[MI].src = "../Pict/Menu/" + MI + "_pos.gif"; } }