<?php

// QuickTicket 2.5 build:20101222

HtmlPageCtrl(1);

echo '<!-- MENU/PAGE -->
</td>
</tr>
</table>
<!-- END MENU/PAGE -->
';

if ( isset($oDB->stats) )
{
  $oDB->stats['end']=gettimeofday(true);
  echo '<br />&nbsp;',$oDB->stats['num'],' queries in ',round($oDB->stats['end']-$oDB->stats['start'],3),' sec';
}

if ( isset($strFooterAddScript) ) echo $strFooterAddScript;

echo '
</body>
</html>';

ob_end_flush();