function redirect(url) {
    window.location = url;
}