function Partime($sec) {
  $days=floor($sec/86400);
  $sec=$sec%86400;
  $hours=floor($sec/3600);
  $sec=$sec%3600;
  $mins=floor($sec/60);
  $sec=$sec%60;
  $x="$hours:$mins:$sec";
  if ($days>0)$x="$days days ".$x;
  return $x;
 }