<page_title> Boris Shilkov </page_title> <section_title> Personal records </section_title> <table> <cell> 7:45.6 <col_header> Time </col_header> </cell> <cell> 8:03.7 <col_header> WR </col_header> </cell> </table>
Shilkov improved an 8:03.7 world record to 7:45.6.