Happy Numbers (Long) in AWK in Chars Play Hole

1^st in AWK and 85^th overall.

Last tested 19 days ago.