# File Name:    drill_size.awk