what number of athletes had times that were below 12.40?
11