var map_nav_selected = false;

function map_nav( id )
{
  // Unhighlight existing selection
  if ( map_nav_selected !== false )
    map_nav_selected.className = '';

  // Highlight new selection
  if ( id )
  {
    map_nav_selected = document.getElementById( id );
    map_nav_selected.className = 'map_hover';
  }
  else
    map_nav_selected = false;
}


function nav_map( nav_id, label )
{
  document.getElementById( 'fmap' ).setLocation( nav_id, label );
}