function menu_over ( tab )
{
	tab.childNodes.item(0).style.color = '#4D748D';
	if ( tab.className != 'menu-selected' )
		tab.className = 'menu-over';
}

function menu_out ( tab )
{
	tab.childNodes.item(0).style.color = '';
	if ( tab.className != 'menu-selected' )
		tab.className = 'menu';
}

function menu_click ( tab )
{
	window.location.assign( tab.childNodes.item(0).href );
}