t64;
  <strong><span style="color: #660000">AvgTime</span></strong>: Int64;
  <strong><span style="color: #660000">TotalTime</span></strong>: Int64;
  <strong><span style="color: #660000">MaxTime</span></strong>: Int64;
  <strong><span style="color: #660000">MinTime</span></strong>: Int64;
  <strong><span style="color: #660000">NextTime</span></strong>: Int64;
<strong><span style="color: #008000">end</span></strong>;</pre></div></div>
<a name="E69687E4BBB6"></a><div class="Element14">
<a onclick="toggleVisi