$enviado =$_GET["enviado"]; if(!isset($enviado)) $src2="formulario.php"; else $src2 = ($enviado==1)?"formulario_ok.php":"error_envio.php"; ?>
include($src2); ?>