if (isset($_GET['art'])){ if (is_file($_GET['art'].".html")) print("
"); include ($_GET['art'].".html"); print("
"); } ?>