$HTTP_POST_VARS en formulario

[AngelRoyo]

Hola.
Tengo el siguiente script "simplificado" para plantear la inquietud:
<?
// ## script: contacto.php ##//

if (!isset($HTTP_POST_VARS)){
echo '
<form method="post" action="contacto.php">
<input type="text" name="nombre" >
<input type="button" value="Enviar">
';
}else{
/* Guardo los datos en una BD
Y digo "GRACIAS POR SUS DATOS"
*/
}
?>
Todo va bien, pero me surgio la inquiedtud de apretar F5 despues que salio el mensaje de "GRACIAS POR SUS DATOS" y el EXPLORER me tiro una ventana tipo "Alerta" y disiondome algo de los datos podrian haber expirado y me dio las opciones <RETRY> o <CANCEL> yo aprete "<RETRY>" y aparecio nuevamente el mensaje de "GRACIAS POR SUS DATOS".
Y yo hasta ahi feliz, pero veo la BD y estaba ( 2 ) veces el dato ese, y luego si refresco 5 veces el mensaje "GRACIAS POR SUS DATOS" me lo graba 5 veces en la BD.
Rayos¡¡¡¡¡ como puedo solucionar semejante dilema.
Acazo no existe algo en PHP o es el explorer que aun tiene los datos de POST ahí latentes.

ESPERO ME AYUDEN, por favor. Gracias¡¡