20050702 unknown: What is the Mach number?