+++ /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>
-