If you are looking for any older version compatible with an older device (like an iPhone 5 running iOS 10):
If "1257" was a typo for :