Mergesort ordered files. Barrie Bremner