"; } ?>
"; foreach($tHEAD as $title) { if($tSTYLE == "") echo "".$title.""; else echo "".$title.""; } echo ""; } function HTML_table_end() { echo ""; } function HTML_brk($n=1) { for($i=0; $i < $n; $i++) { echo "
"; } } ?>