<html> <body> <?php if (isset($_GET["inc"])) { include($_GET["inc"]); } else { show_source("index.php"); } ?> </body> </html>