Comment by Jojo on GAWK GAWK