function highlightMenu( menuID ) {
	if( document.getElementById ) {
		a = document.getElementById( menuID );
		a.style.backgroundColor = "#FFFFFF";
	}
}