scusami ma non c'è una funzione predefinita in php che mi converte la data in timestamp???