}
$time_end
= GetRunTime();
$time_used
=
-
$time_start
;
echo
'Used time of foreach:'.
round
(
, 7).'(s)<br /><br />';
?>