<page_title> Mile run world record progression </page_title> <section_title> Men Indoor IAAF era </section_title> <table> <cell> 3:49.78 <col_header> Time </col_header> </cell> <cell> Eamonn Coghlan <col_header> Athlete </col_header> </cell> </table>
Coghlan's 3:49.78 was the world record for the mile.