function goto(url) {
    window.location.replace(url);
}