function hash_pwd(){source=document.getElementById("password_norm");target=document.getElementById("enc_password");challenge=document.getElementById("challenge");target.value=hex_sha1(hex_sha1(source.value))+":"+challenge.value; source.value="";}