<page_title> Michael Phelps </page_title> <section_title> World records </section_title> <table> <cell> 3:12.46 <col_header> Time </col_header> </cell> </table>
Phelps set the world record of 3:12.46.