Certainly, the headline times produced at the end of every...

Certainly, the headline times produced at the end of every day probably have less relevance than anything else. We tend to concentrate more on the long-distance running people do, rather than the short runs.