<map id="get_time_hundrsecs" name="get_time_hundrsecs">
<area shape="rect" id="node3" href="$player__tab_8c.html#a6c9a1476d9d41c569dc9a93befef0c98" title="Converts a time value to a string we can display." alt="" coords="206,5,365,32"/>
<area shape="rect" id="node5" href="$player__tab_8c.html#a9ef9ad8a4d2501456652e3d910ea0151" title="motif for splitpoints" alt="" coords="414,5,578,32"/>
<area shape="rect" id="node7" href="$player__tab_8c.html#ada5ad55095c04301701212aaf0d0427b" title="left, right mark in hundreths of seconds" alt="" coords="627,5,751,32"/>
</map>
