// Opens a new browser window
function openWindow(url, name, settings) 
{
  var popup = window.open(url, name, settings);
  popup.focus();
}

function toggleLayer(layer)
{
  if (document.getElementById) {
    // Modern
    var style = document.getElementById(layer).style;
  }
  else if (document.all) {
    // IE old
    var style = document.all[layer].style;
  }
  else if (document.layers) {
    // NN4
    var style = document.layers[layer].style;
  }
  style.display = style.display == "block" ? "none" : "block";
}