function logout() {
    var f = document.forms["logoutForm"];
    f.submit();
}