"; foreach($output as $line) echo htmlspecialchars("$line\n"); echo ""; } ?>