Symbol: registration_time