PHP program to convert seconds into hours, minutes, and seconds

<?php
//PHP program to convert seconds into
//hours, minutes, and seconds
$seconds = 6530;

$secs = $seconds % 60;
$hrs = $seconds / 60;
$mins = $hrs % 60;

$hrs = $hrs / 60;

print ("HH:MM:SS-> " . (int)$hrs . ":" . (int)$mins . ":" . (int)$secs);

?>

Output
HH:MM:SS-> 1:48:50