2 <script language="JavaScript1.2">
5 ////////////////////////////////////////////////////////////////////////////
7 // Author: Fred T. Hamster. Open Source; distributed under GNU Public License.
9 ////////////////////////////////////////////////////////////////////////////
11 function jump_appropriate() {
12 window.location.reload(true);
15 function jump_to_anchor(anchor) {
16 window.location.hash = anchor;