<?

if(isset($_SERVER['QUERY_STRING']))
{
 $filename = $_SERVER['QUERY_STRING'];

 switch($filename)
  {
   case 'index': echo show_source($_SERVER['SCRIPT_FILENAME']);
   break;
   case 'papers': include '../' . $filename . '.php';
   break;
   case 'tools': include '../' . $filename . '.php';
   break;
   case 'about': include '../' . $filename . '.htm';
   break;
   default: include $filename;
  }
}

// irc: s7ick.org 6697 (ssl) #hackzona
// do not disappear

?>