added another Timestamp type