2 <script language='javascript' src='../js/depth_selector.js'> </script>
3 <span class='hide_me' id='depth_selector_span'>
4 <!--#if expr="$SHOW_DEPTHSEL_TEXT='true'"-->
5 <span>Find results in </span>
7 <select id='depth_selector' >
8 <option value='new'>Choose a different library...</option>
11 <span class='hide_me' id='lib_selector_span'>
12 <a id='lib_selector_link' class='classic_link' href='javascript:void(0)'>Choose a library to search</a>