$val) { echo "$key: " , date("H:i:s",$val) , "
"; }