var nb_menus = 2;

function highlight_menu(id)
{
	var queue = Effect.Queues.get('menuqueue');
	if (queue.size() == 0 && document.prev_id != id)
	{
	   if (id != document.current_menu_item)
	      Effect.BlindDown('mainMenuItem'+id, { queue : {scope : "menuqueue" } } );
	   if (document.prev_id >= 0 && document.prev_id != document.current_menu_item)
	      Effect.BlindUp('mainMenuItem'+document.prev_id);
	   document.prev_id = id;
	}
	return 0;
}