$file) { echo <<  $file EOT; } endtable(); pagefooter(); ob_end_flush(); ?>