Unix How-To: awk is still a very handy tool