function FocusLoginBox(elementid) {
    var loginbox = document.getElementById(elementid);
    if (loginbox != null) {
        loginbox.focus();
    }
}

function FinishLogout() {
    window.close();
}