echo "<script language='JavaScript' type='text/javascript'>"; echo "top.location='destino2.htm"; echo "</script>";