function $getelement(i){return document.getElementById(i)}function processLogin(){$getelement('_password').value=hex_sha1($getelement('password').value);$getelement('password').value='';return true}function processPasswordChange(){$getelement('_o').value=hex_sha1($getelement('o').value);$getelement('_n').value=hex_sha1($getelement('n').value);$getelement('_c').value=hex_sha1($getelement('c').value);$getelement('o').value='';$getelement('n').value='';$getelement('c').value='';return true}