And you can use the system sort or gawk's internal sort to get them in order.