Happy Numbers (Long) in AWK in Chars Play Hole

1^st in AWK and 87^th overall.

Last tested a day ago.