function Page_JumpTo( bm )
/* Sets the background image for the divider/element to a
 * random image in <imageList> and sets the position value
 * of that background to <position>.
 */
{
    var allLinks = document.getElementsByTagName('a');
    for (i=0;i<=allLinks.length;i++)
    {
        var lnk = allLinks[i];
        if (lnk.href.indexOf(bm) != -1)
        {
            i = allLinks.length;
            var desty = lnk.offsetTop;
            var thisNode = lnk;
            while (thisNode.offsetParent && (thisNode.offsetParent != document.body)) 
            {
                thisNode = thisNode.offsetParent;
                desty += thisNode.offsetTop; 
            }
            window.scrollTo(0,desty)
        }
    }
}


function Element(id)
{
	return document.getElementById(id);
}
