DOM = document.getElementById ? true : false;

noMenuMouseover = '';

function highliteBackground(obj) {
	var reg = new RegExp("\\b" + obj.id + "\\b");
	if (DOM && (!(reg.test(noMenuMouseover)))) {
		obj.style.backgroundColor = '#AAAAAA'; //AAAAAA
	}
}

function darkenBackground(obj) {
	var reg = new RegExp("\\b" + obj.id + "\\b");
	if (DOM && (!(reg.test(noMenuMouseover)))) {
		obj.style.backgroundColor = '#888888';
	}
}

function createMenuMouseover () {
	return;
}