#!/usr/bin/awk -f BEGIN { count = 0; } { count++; } END { print count; }