<!--

  var pound_index = new String(location.href).indexOf("#");

  if(pound_index != -1) {
    var active_section_id = new String(location.href).substr(pound_index + 1);
  }

  function activate_section(section_id) {
    if(active_section_id && document.getElementById(active_section_id + "_section")) {
      document.getElementById(active_section_id + "_section").style.display = "none";
      document.getElementById(active_section_id + "_tab").className = "";
    }

    document.getElementById(section_id + "_section").style.display = "block";
    document.getElementById(section_id + "_tab").className = "active";
    active_section_id = section_id;
  }

-->