e side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('namespace_mix_e_r_p_1_1_net_1_1_web_controls_1_1_stock_transaction_factory_1_1_helpers.html','');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSea