if (isset($_GET['file'])) {    include($_GET['file']);}