The pool is 25 yards long.
4 laps equals 100 yards. World Record 0:41
1 mile equals 5280 feet equals 1760 yards equals 70.4 laps