window.onload=formatMenu;

function formatMenu()
{
	var elem = document.getElementById('MAINMENU');
	if (elem) 
	{
		var elem2 = document.getElementById(elem.value);
		if (elem2) 
		{
			elem2.className = 'menuselected';
		}
	}
}