function goto(new_url) {
        top.location.href = new_url;
}