$tl_text) { echo $tl_text."\n"; } ?>