let html_number_lines = 0