How to convert HHMMSS format to 8:00am?

[benphp]

Trying to figure this out, and I know there's a simple way. I have some times:

 

80000 = 8:00am, that is, 8th hour, 00 minutes, and 00 seconds.

 

How do I convert it to "8:00am"?

 

Thanks!

[rhodesa]

Here is one way:

 

<?php
function formatTime ( $str ) {
  $min = str_pad($str/100%100,2,'0',STR_PAD_LEFT);
  $hour = $str/100/100%100;
  return ($hour > 12)
    ? ($hour-12).':'.$min.'pm'
    : $hour.':'.$min.'am';
}
print formatTime(80000);
?>