Rev 6 | Rev 35 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 6 | Rev 14 | ||
---|---|---|---|
Line 83... | Line 83... | ||
83 | 83 | ||
84 | <table cellspacing="0" cellpadding="0" border="0" width="100%"> |
84 | <table cellspacing="0" cellpadding="0" border="0" width="100%"> |
85 | 85 | ||
86 | <tr> |
86 | <tr> |
87 | <td valign="middle" width="55%"> |
87 | <td valign="middle" width="55%"> |
88 | <span class="page_title">Basic search</span> |
88 | <span class="page_title">Quick search</span> |
89 | </td> |
89 | </td> |
90 | 90 | ||
91 | <td width="28%" valign="middle" align="right"> |
91 | <td width="28%" valign="middle" align="right"> |
92 | <div id="menu"> |
92 | <div id="menu"> |
93 | <ul> |
93 | <ul> |
94 | <li> |
94 | <li> |
95 | <a href="advanced-search.htm">Advanced search</a> |
95 | <a href="advanced-search.htm">Advanced search</a> |
96 | </li> |
96 | </li> |
- | 97 | <li> |
|
- | 98 | <a href="/cgi-bin/display?a=count_nodes">Number of OIDs <!--in the database-->recorded</a><!-- DM: Written "recorded" because it is shorter to fit in a single line --> |
|
- | 99 | </li> |
|
97 | </ul> |
100 | </ul> |
98 | </div> |
101 | </div> |
99 | </td> |
102 | </td> |
100 | </tr> |
103 | </tr> |
101 | </table> |
104 | </table> |
Line 218... | Line 221... | ||
218 | d=new Date(document.lastModified) |
221 | d=new Date(document.lastModified) |
219 | month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec") |
222 | month=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec") |
220 | if (Date.parse(document.lastModified) != 0) |
223 | if (Date.parse(document.lastModified) != 0) |
221 | document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear()); |
224 | document.write(d.getDate()+" "+month[d.getMonth()]+" "+d.getFullYear()); |
222 | </script>--> |
225 | </script>--> |
223 | 25 Nov 2022 |
226 | 27 Nov 2022 |
224 | </font> |
227 | </font> |
225 | </td> |
228 | </td> |
226 | <td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
229 | <td width="24" align="center"><img src="images/pointorange_small.gif" width="14" height="10"></td> |
227 | <td align="center" width="409"> |
230 | <td align="center" width="409"> |
228 | <font size=-1> |
231 | <font size=-1> |