Differenza tra ore

[ardand]

Ho trovato questo script che può fare al caso mio:

list($hh1,$mm1,$ss1) = explode(":",$ora1): 
list($hh2,$mm2,$ss2) = explode(":",$ora2): 

$time1=mktime ($hh1,$mm1,$ss1, 1, 1, 1970 ); 
$time2=mktime ($hh2,$mm2,$ss2, 1, 1, 1970 ); 

$div=$time1-$time2; 

solo che adesso voglio che $div ritorni alla forma 00:00:00 come devo fare?