print "<pre>", CGI::escapeHTML($text), "</pre>";