open_paren ThreeDigits close_paren space ThreeDigits dash FourDigits ThreeDigits dash slash ThreeDigits dash FourDigits ThreeDigits dot ThreeDigits dot FourDigits