<?php
    $f 
file('page-index.txt');
    while (
$line array_shift($f)) {
        
$line preg_replace('/\n/'''$line);
        
$parts  explode('|'$line);
        
$t[$parts[0]] = $parts[1];
    }
    
    if (isset(
$_GET['page'])) {
        
$pageid    $_GET['page'];
    } else {
        
$pageid 'aenean_feugiat';
    }
    
$pagetitle    $t[$pageid];
    
$pagebody    implode(''file('pages/'.$pageid.'.page'));

    
$pagenavi    "<UL CLASS=\"navi\">\n";
    foreach(
$t as $i => $n) {
        
$pagenavi .= '<LI><A TARGET="_top" HREF="frameset.php?'
              
"page=$i\">$n</A></LI>\n";
    }
    
$pagenavi    .= "</UL>\n";
?>