$lines

Returns the total number of lines in the specified text file.

$lines(filename)

You can use this to loop through a file. Take a look at /while to get more information about it.