#!/usr/bin/awk -f

BEGIN {
	count = 0;
}

{ count++; }

END {
	print count;
}