Yes, awk does some real black bagic. It's awesome how it can parse really, really big files.