function menu_activate(menu) 
{
	menu.parentNode.parentNode.style.backgroundColor = '#EEE';
	return true
}

function menu_deactivate(menu) 
{
	menu.parentNode.parentNode.style.backgroundColor = '';
	return true
}