Numbering and awk version