Por cierto, el script tiene un pequeño problema. Imagina que alguien envía el formulario y es redirigido a gracias.htm. Si pulsa atrás en el navegador, se enviará de nuevo el mail, y así todas las veces que quiera darle. Para eso, en vez de:
Código:
echo "<SCRIPT LANGUAGE='javascript'>
location.href = 'gracias.htm';
</SCRIPT>";
deberías poner:
Código:
header("Location: gracias.htm");
Para usar header() debes asegurarte de que el script no ha generado nada por la pantalla, para eso, coge todo el html que tienes al principio y mételo en la condición que imprime el formulario. Así, si se envía el mail, el script no generará ningún código html (no lo necesitas) y funcionará la redirección HTTP.