function goto(the_location)
    {
        location.href = the_location;
        return;
    }