function logout ( ) {
    window.location.href = script_name+"/logout";
}