
<?

  require("globals.php");
  $title_txt = "$title_txt";
  $h1_txt = "$h1_txt";

require("find_title.php");
$style_prefix = "../../";

$PATH_INFO=$_SERVER["PATH_INFO"];
$var_array = explode("/",$PATH_INFO);
if ( eregi("^[0-9a-zA-Z_-]", $var_array[1])) {
  $txt_dir = $var_array[1];
}
if ( eregi("^[0-9a-zA-Z_-]", $var_array[2])) {
  $file = $var_array[2];
}
# global: 
$current_txt_dir = $txt_dir; 

$highlight_file =  $file;
require("header.php");
 
   $fp = fopen("${txt_dir}/$file","r");
   if ($fp) {
      $par_counter = 0;
      $line_counter = 0;
      $last_line_txt = "false";
      $body_start = "false";
      while (!feof($fp))
      {
         $line = fgets($fp, 100);
	 if ( (strpos($line,"/body")) or (strpos($line,"/BODY") )) {
	    $body_start = "ended";
	 }

	 if ( $body_start == "started" ) {
	   echo "$line";
	 }
	 if ( $body_start == "anotherline" ) {
	      $body_start = "started";
	 }

	 
	 if ( eregi("<body.*",$line) or  eregi("<BODY.*",$line)  ) {
	    if ( eregi("<body.*>.*",$line) or  eregi("<BODY.*>.*",$line)  ) {
	      $body_start = "started";
	    } else {
	      $body_start = "anotherline";
	    }
	 }
      }
      fclose($fp);
   } else {
      echo "File not found!";
   }     


require("footer.php");

?>