--- /dev/null
+
+<script language="JavaScript1.2">
+<!--
+
+////////////////////////////////////////////////////////////////////////////
+
+// Author: Fred T. Hamster. Open Source; distributed under GNU Public License.
+
+////////////////////////////////////////////////////////////////////////////
+
+function jump_appropriate() {
+//stopped working: window.location.reload(true);
+ window.location = window.location;
+}
+
+function jump_to_anchor(anchor) {
+ window.location.hash = anchor;
+}
+
+//-->
+</script>
+