Параметры date

[Struggle]

Есть таймер

<?  
$date = strtotime("23 Jule 2013");
$sec=$date - time();  
$days=floor(($date - time()) /86400);  
$h1=floor(($date - time()) /3600);  
$m1=floor(($date - time()) /60);  
$hour=floor($sec/60/60 - $days*24);  
$hours=floor($sec/60/60);  
$min=floor($sec/60 - $hours*60);  

switch(substr($days, -1)){  
case 1: $o='остался';  
break;  
case 2: case 3: case 4: case 5: case 6: case 7: case 8: case 9: case 0: $o='осталось';  
break;}  
  
switch(substr($days, -2)){  
case 1: $d='день';  
break;  
case 2: case 3: case 4: $d='дня';  
break;  
default: $d='дней';  
}  
  
switch(substr($hour, -2)) {  
case 1: $h='час';  
break;  
case 2: case 3: case 4: $h='часа';  
break;  
default: $h='часов';  
}  
  
switch(substr($min, -2)) {  
case 1: $m='минута';  
break;  
case 2: case 3: case 4: $m='минуты';  
break; 
default:$m='минут'; 
}  
?> 

<p><? if ($days>0) echo $days.'&nbsp;'.$d; ?></p>
<p><? if ($h1>0) echo $hour.'&nbsp;'.$h; ?></p>
<p><? if ($m1>0) echo ''.$min.''.$m; ?></p>

<? if ($sec<0) echo ("Время истекло!!!"); ?>

Он выводит результат по дефолту, а мне нужно время в 24 часовом формате с ведущем нулем, типа

01 30 05 // день/часы/минуты

как запилить?

 

[ksnk]

sprintf ?
%02s