/* *****************************************************************************************
Script written by Travis Saling - http://www.westsidegardener.com
This script uses the JavaScript location.replace method to replace normal HTML quick jumps.
The primary purpose for using this is so back_to.js works as desired on those pages that
use quick jumps.
HOW TO USE
----------
First you have to include this script in the head of your document, somewhere below
where the head_all.js script is included - like this:
This is my document
Now let's say you had a series of quick jumps near the top of your Web page that link
to information for the individual months. If the name tags for those jumps correspond to
the month names (e.g. , , etc.), your first two quick
jumps would look like this:
January
February
***************************************************************************************** */
function quickJump(a_name)
{
old_href = window.location.href;
find_pound = old_href.indexOf("#");
if (find_pound != -1) old_href = old_href.substring(0,find_pound);
new_href = old_href + "#" + a_name;
location.replace(new_href);
}