what is gawk gawk 3000