That is the coolest use of awk I've ever seen. I need to study that program in detail.