20
NR
is the number of lines (number of records) read by
awk
so far.