What is the world record for the mens 25 yard freestyle?

I'm not sure, but I live in Atlanta and the 9-10 Championship Record was like either 13, or 14 seconds, so the world record for 18 ups should be MUCH lower, probably like 6 or something.