convert unix timestamp to int