function onMouseTopMenuOver(element) {
	element.style.color="#9fb25d";
	element.style.backgroundImage = element.style.backgroundImage.replace(/_bgr\./, '_obgr.');
}

function onMouseTopMenuOut(element) {
	element.style.color="#ffffff";
	element.style.backgroundImage = element.style.backgroundImage.replace(/_obgr\./, '_bgr.');
}

function onMouseLeftMenuOver(element) {
	element.style.backgroundImage = element.style.backgroundImage.replace(/_bgr\./, '_obgr.');
}

function onMouseLeftMenuOut(element) {
	element.style.backgroundImage = element.style.backgroundImage.replace(/_obgr\./, '_bgr.');
}