Line $line_num: " . htmlspecialchars( $line ) . "
\n"; endwhile; ?>