vycucnutí datumu z vteřin

Jak se menuje, pokud je, funkce která mi ze sekund ve formátu time() udělá formát data který chci?

mám namysli to samé jako Date() s tím rozdílem že se nepoužije aktuální hodnota vteřin, ale jiná kterou tomu zadám

například
echo neznama_funkce("1178275980", "H:i:s")
takže z těch sekund ve formátu 1178275980 dostanu to co sem si zadal - hodiny:minuty:vteřiny

je taková funkce? nebo podobná?
http://us.php.net/manual/cs/function.date.php

string date ( string $format [, int $timestamp ] )

Timestamp si dodáš, jaký chceš.
supr to je přesně ono díky, sem totiž nevěděl že tam de ta hodnota zadat :)