<?php
$timestart = microtime_float();
require_once  "./libs/Ice.class.php";

$ice = new Ice();
$ice->run();



$endtime =  microtime_float() - $timestart;
echo "<br /><br /><font color='red'>$endtime</font>";
function microtime_float()
{
    list($usec, $sec) = explode(" ", microtime());
    return ((float)$usec + (float)$sec);
}