mejor usa onload no ???....... otra forma mas simple inclusive y mejor, seria hacer esa redireccion con php...... ya que la web lee primero lo del servidor, osea php.... y seria mas eficiente y rapido.
osea pondrias este codigo al incio
Código php:
Ver original$Referer=end(explode("/",$_SERVER['HTTP_REFERER'])); if($Referer!="contacto1.php") header("Location: contacto1.php");
espero te haya podido ayudar.
suerte.