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