Happy Numbers (Long) in AWK in Chars Play Hole

1^st in AWK and 80^th overall.

Last tested 37 hours ago.