It seems odd that both 5-7 and 1-3 exist in the same file. Which is the right one?