//
$nombre = "sanidad_vegetal.php" ; //nombre del archivo de origen
$opcion = "2"; //parametro del cual se llama
$refiere = $_SERVER["PHP_SELF"]; //página desde la cual se llama
if (basename($refiere) != $nombre) {
Header ("Location: http://".$_SERVER["HTTP_HOST"].dirname($refiere)."/".$nombre."?opcion=".$opcion);
exit;
}
?>