<page_title> Pieter Desmet </page_title> <section_title> Personal bests </section_title> <table> <cell> 8:15.02 <col_header> Time (sec) </col_header> </cell> </table>
Pieter Desmet achieved a personal best time of 8:15.02.