", $totaltime); echo "";