function Navigate(url, title, options) {
    window.open(url, title, options);
}

function Close() {
    javascript: window.close();
}

function sendMail(user, url) {
    var mail = user + "@" + url;
    document.location.href = "mailto: " + mail;
}