Cómo convertir la marca de tiempo de Unix a hhmmss?

¿Cómo convertir la marca de tiempo de Unix (es decir, 1286374738) a hhmmss?

date('His', $timestamp); 

donde $ timestamp contiene la marca de tiempo unix, H = formato de 24 horas de una hora con ceros a la izquierda, puede usar h = formato de 12 horas de una hora con ceros a la izquierda; i = Minutos con ceros a la izquierda, s = Segundos, con ceros a la izquierda

Utilice uno de los muchos sitios de conversión: http://convert-unix-time.com http://www.epoch-converter.com

… también tienen ejemplos de conversión para muchos lenguajes de progtwigción.