function openURL(URL)
{
  window.open(URL, 'mapa', '');
} // openURL()