<?PHP 
 
$buffer = array(); 
 
$i=1; 
$handle = fopen('liste.html', "r"); 
while (!feof($handle)) { 
	$buffer[$i] = preg_split("/\t+/", trim(fgets($handle))); 
 
	$i++; 
} 
fclose($handle); 
 
echo "<div id='nav'>\n"; 
echo "\n\n<ul class='nav'>\n"; 
 
for ($i=1; $i<=count($buffer); $i++){ 
	if ($buffer[$i][0]=="+") { 
	echo "<li class='level1'><a href=".$buffer[$i][2]."><span class='level1_spacer'>".$buffer[$i][1]."</span></a></li>\n";} 
 
	if ($buffer[$i][0]=="++") { 
	echo "<li class='level2'><a href=".$buffer[$i][2]."><span class='level2_spacer'>".$buffer[$i][1]."</span></a></li>\n";} 
	 
	if ($buffer[$i][0]=="+++") { 
	echo "<li class='level3'><a href=".$buffer[$i][2]."><span class='level3_spacer'>".$buffer[$i][1]."</span></a></li>\n";} 
 
} 
echo "</ul>\n"; 
echo "</div>\n";	 
?>