$datei = $_GET['datei']; //if (is_File($_SERVER['DOCUMENT_ROOT']."/".$datei)) include "$datei"; ?>