Conversiones de tiempo en php

Hola mi duda es sobre cual es la forma correcta de convertir un numero como este: 1380216521500
a una fecha como esta 2013-09-25, esta fecha es incorrecta, me dieron solo este numero 1380216521500
y devo convertirlo a una fecha, pero no tengo mucha idea.

Buscando en google encontre algunas funciones de php, pero el resultado es: 13-12-2018 21:06:24
y estamos en el 2013, algo esta mal, no? mi codigo es este:

$fecha=1380216521500;
$hora=date("Y-m-d H:i:s",$fecha);
echo "Fecha1: ".$hora;


Alguien sabe bien como convertir??

Sin un contexto es imposible saber si algo está bien o mal.

Ese número corresponde a una fecha Unix?, de dónde salió?.

Si lo se por eso requeri ayuda, tampoco se de donde salio o como se calcula, solo me lo enviaron y me dijeron: esta es la fecha, este es el formato para manejarla, y asi se te enviara.

Y yo tengo que trabajarla, dato curioso, hice unas pruebas con timer, y me da un numero similar pero sin 3 dijitos al final.

Y al formato que me dieron les quito esos 3 dijitos y ya me da la fehca del dia en que me enviaron el dato, pero la hora parece estar mal?? esos 3 digitos al final que podrian ser??

y por lo menos sabes cual es la fecha original ??

Lamentablemente no por eso estoy como loco, quiero suponer que la fecha original es cuando me la enviaron por chat, lo que no se es que sean, lo 3 digitos finales, informe de esto pero me dicen que asi es la fecha y ya.

No se que hacer jajaja no hay mucho de esto por la web, bueno no con estos numeros mas largos.

Pregúntales lo mismo que te estamos preguntando nosotros a ti.