private function get_time_from_seconds($seconds)
{
$mins = floor($seconds / 60);
$rest_sec = $seconds - $mins * 60;
$hours = floor($mins / 60);
$rest_mins = $mins - $hours * 60;
$hours = $hours ? add_zeroes($hours) : '00';
$rest_mins = $rest_mins ? add_zeroes($rest_mins) : '00';
$rest_sec = $rest_sec ? add_zeroes($rest_sec) : '00';
return $hours . ':' . $rest_mins . ':' . $rest_sec;
}
}
}
echo "Total not found: {$notfound}\n";
//Debug
if ($try > 0) {
if ($notfound <= $minnotfound || !isset($minnotfound)) {
echo "-minnf: {$notfound}\n";
//Debug
$minnotfound = $notfound;
$try = $tryes;
} else {
$try--;
}
} else {
if ($notfound <= $minnotfound || $notfound == 0) {
$next = false;
}
}
}
//MAIN LOOP
for ($i = $start; $i <= $stop; $i++) {
//Pridame vsechna zbyla n-cisli
$istr = add_zeroes($i, $places);
rada_add("rada", $istr);
}
/////////OUTPUT///////////////////////////////////
echo "\n";
echo "Length: " . strlen($rada) . " chars\n";
echo "Total not found: {$notfound}\n";
echo $rada;
echo "\n\n";
