Originariamente inviato da iperuber
Io vorrei che stampasse 1161900000000.
Ma puoi fare di meglio: dividere per 1000 (e così ottieni i secondi).
E se proprio vuoi i 3 zeri finali, rimoltiplichi per 1000.