<!-- hide

    function jumpto (x)
    {
        if (x != "null")
        {
            document.location.href = x;
        }
    }


// end hide -->