 a high-speed sort procedur 