Mailing the story:
Another surprising AWK trick
If you tell AWK that you're doing arithmetic operations on strings beginning with numbers, it ignores the non-number parts of the string. On the other hand, if you happen to be going to St Ives and meet 7 wives, 7 sacks, 7 cats...