readfile("pagina.php");