print "</pre>";
}
+function plc_debug_txt ($message,$txt) {
+ print "<br />" . $message . "<pre>";
+ $txt=str_replace(" ","<SPC>",$txt);
+ $txt=str_replace("\t","<TAB>",$txt);
+ $txt=str_replace("\n","<LF>",$txt);
+ $txt=str_replace("\r","<CR>",$txt);
+ print $txt . "<EOF>";
+ print "</pre>";
+}
+
$plc_prof_start=0.;
$plc_prof_time=0.;
$plc_prof_counter=0;