return sprintf("%d:%02d",$hours,$mins);