@lines: first line in the file is numbered 1