".htmlspecialchars($line).""; } } ?>