Metrics for Key Punch Operators.