addLoadEvent(function() {
  var _static = document.getElementById('static_tree');
  var _dynamic = document.getElementById('dynamic_tree');
  if (navigator.appName == 'Netscape') {
    _static.style.display = 'none';
    _dynamic.style.display = 'block';
  }
  //var _container = document.getElementById('tree_container');
  //_container.replaceChild(_static, _dynamic);
  //_container.removeChild(_static);
});

function toggle_display_all() {
  var static_tree = document.getElementById('static_tree');
  static_tree.style.display = static_tree.style.display == 'none' ? 'block': 'none';
}