"; $header = file_get_contents("files/header.html"); $page = $_GET["page"]; echo $header; echo "
\n"; $contact = file_get_contents("files/contact.html"); echo $contact; if (isset($page)){ $page = file_get_contents("files/" . $page . ".html"); } else { $page = file_get_contents("files/home.html"); } echo $page; $footer = file_get_contents("files/footer.html"); echo $footer; echo "