var currentHighlighted = null;

function highlightMenu(obj)

    {
	if (currentHighlighted != null)
    currentHighlighted.className = "menu";
	obj.className = "menufett";
	currentHighlighted = obj;
	}