$lap = $_GET['lap']; if ($lap == NULL) { $file = "HOME"; } else { $file = $lap; }; if (file_exists($file . ".head.txt")) { include($file . ".head.txt"); }; if (file_exists($file . "." . $stylename . ".css")) { echo ''; } ?>