Miscellany

<?php

        $page = htmlspecialchars($_GET['page']); 
        if(empty($page)) 
         { 
         } 
        else 
         { 
          if(file_exists("$page.php")) 
          { 
           include("$page.php"); 
           } 
         } 
?>