The men's world record (as of 2007) for swimming 1500 m in a long course pool is 14 min 34.56 s. At this rate, how many seconds would it take the men's world record holder to swim 0.750 mi? (1 mi = 1609 m)