#!/usr/bin/awk # # See ../README.md # # # Run as: awk -f ch-1.awk # BEGIN { print "104743" }