Convertire time() in data

Salve,
ho una data in formato time() che vorrei convertire in data leggibile.

Solitamente utilizzo questo:

Codice PHP:

---

<?php

echo date("r","1321374077039"); // Stampa: Tue, 19 Jan 2038 04:14:07 +0100

?>

---

Come potete notare il valore è errato perchè ho scoperto che contiene anche i millisecondi, infatti la data giusta dovrebbe essere: Tue, 15 Nov 2011 16:21:17 GMT e non Tue, 19 Jan 2038 04:14:07 +0100.

Mi sapreste dare una soluzione?

Dividi il valore per mille.

Giusto. E' una soluzione. Ma poi ieri dopo aver inviato il post ne ho trovata un'altra che comunque fa lo stesso della divisione per 1000.

Si vede che sto proprio male in questi giorni per non esserci arrivato subito!!!