'), '', 
$table(
$contents('index.txt'), true)));