<?php
// QuickTicket 1.9.0.3 build:20081001
HtmlPageCtrl(1);
echo '<!-- MENU/PAGE -->
</td>
</tr>
</table>
<!-- END MENU/PAGE -->
';
if ( isset($oDB->stats) )
{
$oDB->stats['end']=gettimeofday(true);
echo '<br/> ',$oDB->stats['num'],' queries in ',round($oDB->stats['end']-$oDB->stats['start'],3),' sec';
}
if ( isset($strFooterAddScript) )
{
echo '
<script type="text/javascript">
<!--
',$strFooterAddScript,'
-->
</script>
';
}
echo '
</body>
</html>';
ob_end_flush();
?>