"; echo $totalcstime; } ?>