PHP Abfrage eines Zeitstemples als Int