how many athletes were faster than 12.40 seconds?
11