function send_login() { document.getElementById('loginform').submit(); }
function set_target() { document.getElementById('login-username').focus(); }