function relocate(url) {
    window.location.href = url;
}