English gawk: translation to other languages