Para manejar peticiones HTTP (ajax?) mejor use jQuery si no quiere lidiar con problemas de compatibilidades entre navegadores; lo que quiere hacer hay con jQuery es asi:
Código Javascript
:
Ver originalvar html = $.ajax({
url: "enviarcontrasena.php",
async: false,
data: "email="+document.form.email.value,
success: function(msg){
if(msg == "TRUE"){ alert("Contraseña enviada a la casilla de correo de contacto") };
}
});