//flag to know what extent to display on map...
document.ggIntlPage = 1;

// if this can be executed, we can display the JS specific bits
addLoadListener(function () {
	if (document.getElementById('jsPort'))
	    {document.getElementById('jsPort').style.display=''}
    }
    );

/*
 * Called onchange on the dropdown.
 * Open a new window with the portal selected
 */
function gotoPortal ()
{
  var portSel = document.getElementById('portSel');
  if (!portSel) {return}
  var selected = portSel.selectedIndex;
  if (selected > 0)
  {
    var portal = portSel.options[selected];
    window.open(portal.value);
  }
}