ticket.go 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611
  1. // Copyright 2012 The Go Authors. All rights reserved.
  2. // Use of this source code is governed by a BSD-style
  3. // license that can be found in the LICENSE file.
  4. package tls
  5. import (
  6. "crypto/aes"
  7. "crypto/cipher"
  8. "crypto/hmac"
  9. "crypto/rand"
  10. "crypto/sha256"
  11. "crypto/subtle"
  12. "crypto/x509"
  13. "encoding/binary"
  14. "errors"
  15. "io"
  16. "math/big"
  17. math_rand "math/rand"
  18. "golang.org/x/crypto/cryptobyte"
  19. )
  20. // [Psiphon]
  21. var obfuscateSessionTickets = true
  22. // A SessionState is a resumable session.
  23. type SessionState struct {
  24. // Encoded as a SessionState (in the language of RFC 8446, Section 3).
  25. //
  26. // enum { server(1), client(2) } SessionStateType;
  27. //
  28. // opaque Certificate<1..2^24-1>;
  29. //
  30. // Certificate CertificateChain<0..2^24-1>;
  31. //
  32. // opaque Extra<0..2^24-1>;
  33. //
  34. // struct {
  35. // uint16 version;
  36. // SessionStateType type;
  37. // uint16 cipher_suite;
  38. // uint64 created_at;
  39. // opaque secret<1..2^8-1>;
  40. // Extra extra<0..2^24-1>;
  41. // uint8 ext_master_secret = { 0, 1 };
  42. // uint8 early_data = { 0, 1 };
  43. // CertificateEntry certificate_list<0..2^24-1>;
  44. // CertificateChain verified_chains<0..2^24-1>; /* excluding leaf */
  45. // select (SessionState.early_data) {
  46. // case 0: Empty;
  47. // case 1: opaque alpn<1..2^8-1>;
  48. // };
  49. // select (SessionState.type) {
  50. // case server: Empty;
  51. // case client: struct {
  52. // select (SessionState.version) {
  53. // case VersionTLS10..VersionTLS12: Empty;
  54. // case VersionTLS13: struct {
  55. // uint64 use_by;
  56. // uint32 age_add;
  57. // };
  58. // };
  59. // };
  60. // };
  61. // } SessionState;
  62. //
  63. // Extra is ignored by crypto/tls, but is encoded by [SessionState.Bytes]
  64. // and parsed by [ParseSessionState].
  65. //
  66. // This allows [Config.UnwrapSession]/[Config.WrapSession] and
  67. // [ClientSessionCache] implementations to store and retrieve additional
  68. // data alongside this session.
  69. //
  70. // To allow different layers in a protocol stack to share this field,
  71. // applications must only append to it, not replace it, and must use entries
  72. // that can be recognized even if out of order (for example, by starting
  73. // with an id and version prefix).
  74. Extra [][]byte
  75. // EarlyData indicates whether the ticket can be used for 0-RTT in a QUIC
  76. // connection. The application may set this to false if it is true to
  77. // decline to offer 0-RTT even if supported.
  78. EarlyData bool
  79. version uint16
  80. isClient bool
  81. cipherSuite uint16
  82. // createdAt is the generation time of the secret on the sever (which for
  83. // TLS 1.0–1.2 might be earlier than the current session) and the time at
  84. // which the ticket was received on the client.
  85. createdAt uint64 // seconds since UNIX epoch
  86. secret []byte // master secret for TLS 1.2, or the PSK for TLS 1.3
  87. extMasterSecret bool
  88. peerCertificates []*x509.Certificate
  89. activeCertHandles []*activeCert
  90. ocspResponse []byte
  91. scts [][]byte
  92. verifiedChains [][]*x509.Certificate
  93. alpnProtocol string // only set if EarlyData is true
  94. // Client-side TLS 1.3-only fields.
  95. useBy uint64 // seconds since UNIX epoch
  96. ageAdd uint32
  97. ticket []byte
  98. }
  99. // Bytes encodes the session, including any private fields, so that it can be
  100. // parsed by [ParseSessionState]. The encoding contains secret values critical
  101. // to the security of future and possibly past sessions.
  102. //
  103. // The specific encoding should be considered opaque and may change incompatibly
  104. // between Go versions.
  105. func (s *SessionState) Bytes() ([]byte, error) {
  106. var b cryptobyte.Builder
  107. b.AddUint16(s.version)
  108. if s.isClient {
  109. b.AddUint8(2) // client
  110. } else {
  111. b.AddUint8(1) // server
  112. }
  113. b.AddUint16(s.cipherSuite)
  114. addUint64(&b, s.createdAt)
  115. b.AddUint8LengthPrefixed(func(b *cryptobyte.Builder) {
  116. b.AddBytes(s.secret)
  117. })
  118. b.AddUint24LengthPrefixed(func(b *cryptobyte.Builder) {
  119. for _, extra := range s.Extra {
  120. b.AddUint24LengthPrefixed(func(b *cryptobyte.Builder) {
  121. b.AddBytes(extra)
  122. })
  123. }
  124. })
  125. if s.extMasterSecret {
  126. b.AddUint8(1)
  127. } else {
  128. b.AddUint8(0)
  129. }
  130. if s.EarlyData {
  131. b.AddUint8(1)
  132. } else {
  133. b.AddUint8(0)
  134. }
  135. marshalCertificate(&b, Certificate{
  136. Certificate: certificatesToBytesSlice(s.peerCertificates),
  137. OCSPStaple: s.ocspResponse,
  138. SignedCertificateTimestamps: s.scts,
  139. })
  140. b.AddUint24LengthPrefixed(func(b *cryptobyte.Builder) {
  141. for _, chain := range s.verifiedChains {
  142. b.AddUint24LengthPrefixed(func(b *cryptobyte.Builder) {
  143. // We elide the first certificate because it's always the leaf.
  144. if len(chain) == 0 {
  145. b.SetError(errors.New("tls: internal error: empty verified chain"))
  146. return
  147. }
  148. for _, cert := range chain[1:] {
  149. b.AddUint24LengthPrefixed(func(b *cryptobyte.Builder) {
  150. b.AddBytes(cert.Raw)
  151. })
  152. }
  153. })
  154. }
  155. })
  156. if s.EarlyData {
  157. b.AddUint8LengthPrefixed(func(b *cryptobyte.Builder) {
  158. b.AddBytes([]byte(s.alpnProtocol))
  159. })
  160. }
  161. if s.isClient {
  162. if s.version >= VersionTLS13 {
  163. addUint64(&b, s.useBy)
  164. b.AddUint32(s.ageAdd)
  165. }
  166. }
  167. // [Psiphon]
  168. bytes, err := b.Bytes()
  169. if err != nil {
  170. return nil, err
  171. }
  172. // [Psiphon]
  173. // Pad golang TLS session ticket to a more typical size.
  174. if obfuscateSessionTickets {
  175. paddedSizes := []int{160, 176, 192, 208, 218, 224, 240, 255}
  176. initialSize := 120
  177. randomInt, err := rand.Int(rand.Reader, big.NewInt(int64(len(paddedSizes))))
  178. index := 0
  179. if err == nil {
  180. index = int(randomInt.Int64())
  181. } else {
  182. index = math_rand.Intn(len(paddedSizes))
  183. }
  184. paddingSize := paddedSizes[index] - initialSize
  185. ret := make([]byte, len(bytes)+paddingSize)
  186. copy(ret, bytes)
  187. return ret, nil
  188. }
  189. return bytes, nil
  190. }
  191. func certificatesToBytesSlice(certs []*x509.Certificate) [][]byte {
  192. s := make([][]byte, 0, len(certs))
  193. for _, c := range certs {
  194. s = append(s, c.Raw)
  195. }
  196. return s
  197. }
  198. // ParseSessionState parses a [SessionState] encoded by [SessionState.Bytes].
  199. func ParseSessionState(data []byte) (*SessionState, error) {
  200. ss := &SessionState{}
  201. s := cryptobyte.String(data)
  202. var typ, extMasterSecret, earlyData uint8
  203. var cert Certificate
  204. var extra cryptobyte.String
  205. if !s.ReadUint16(&ss.version) ||
  206. !s.ReadUint8(&typ) ||
  207. (typ != 1 && typ != 2) ||
  208. !s.ReadUint16(&ss.cipherSuite) ||
  209. !readUint64(&s, &ss.createdAt) ||
  210. !readUint8LengthPrefixed(&s, &ss.secret) ||
  211. !s.ReadUint24LengthPrefixed(&extra) ||
  212. !s.ReadUint8(&extMasterSecret) ||
  213. !s.ReadUint8(&earlyData) ||
  214. len(ss.secret) == 0 ||
  215. !unmarshalCertificate(&s, &cert) {
  216. return nil, errors.New("tls: invalid session encoding")
  217. }
  218. for !extra.Empty() {
  219. var e []byte
  220. if !readUint24LengthPrefixed(&extra, &e) {
  221. return nil, errors.New("tls: invalid session encoding")
  222. }
  223. ss.Extra = append(ss.Extra, e)
  224. }
  225. switch extMasterSecret {
  226. case 0:
  227. ss.extMasterSecret = false
  228. case 1:
  229. ss.extMasterSecret = true
  230. default:
  231. return nil, errors.New("tls: invalid session encoding")
  232. }
  233. switch earlyData {
  234. case 0:
  235. ss.EarlyData = false
  236. case 1:
  237. ss.EarlyData = true
  238. default:
  239. return nil, errors.New("tls: invalid session encoding")
  240. }
  241. for _, cert := range cert.Certificate {
  242. c, err := globalCertCache.newCert(cert)
  243. if err != nil {
  244. return nil, err
  245. }
  246. ss.activeCertHandles = append(ss.activeCertHandles, c)
  247. ss.peerCertificates = append(ss.peerCertificates, c.cert)
  248. }
  249. ss.ocspResponse = cert.OCSPStaple
  250. ss.scts = cert.SignedCertificateTimestamps
  251. var chainList cryptobyte.String
  252. if !s.ReadUint24LengthPrefixed(&chainList) {
  253. return nil, errors.New("tls: invalid session encoding")
  254. }
  255. for !chainList.Empty() {
  256. var certList cryptobyte.String
  257. if !chainList.ReadUint24LengthPrefixed(&certList) {
  258. return nil, errors.New("tls: invalid session encoding")
  259. }
  260. var chain []*x509.Certificate
  261. if len(ss.peerCertificates) == 0 {
  262. return nil, errors.New("tls: invalid session encoding")
  263. }
  264. chain = append(chain, ss.peerCertificates[0])
  265. for !certList.Empty() {
  266. var cert []byte
  267. if !readUint24LengthPrefixed(&certList, &cert) {
  268. return nil, errors.New("tls: invalid session encoding")
  269. }
  270. c, err := globalCertCache.newCert(cert)
  271. if err != nil {
  272. return nil, err
  273. }
  274. ss.activeCertHandles = append(ss.activeCertHandles, c)
  275. chain = append(chain, c.cert)
  276. }
  277. ss.verifiedChains = append(ss.verifiedChains, chain)
  278. }
  279. if ss.EarlyData {
  280. var alpn []byte
  281. if !readUint8LengthPrefixed(&s, &alpn) {
  282. return nil, errors.New("tls: invalid session encoding")
  283. }
  284. ss.alpnProtocol = string(alpn)
  285. }
  286. if isClient := typ == 2; !isClient {
  287. // [Psiphon]
  288. // Ignore padding for obfuscated session tickets.
  289. if !s.Empty() && !allZeros(s) {
  290. return nil, errors.New("tls: invalid session encoding")
  291. }
  292. return ss, nil
  293. }
  294. ss.isClient = true
  295. if len(ss.peerCertificates) == 0 {
  296. return nil, errors.New("tls: no server certificates in client session")
  297. }
  298. if ss.version < VersionTLS13 {
  299. if !s.Empty() {
  300. return nil, errors.New("tls: invalid session encoding")
  301. }
  302. return ss, nil
  303. }
  304. if !s.ReadUint64(&ss.useBy) || !s.ReadUint32(&ss.ageAdd) || !s.Empty() {
  305. return nil, errors.New("tls: invalid session encoding")
  306. }
  307. return ss, nil
  308. }
  309. // sessionState returns a partially filled-out [SessionState] with information
  310. // from the current connection.
  311. func (c *Conn) sessionState() *SessionState {
  312. return &SessionState{
  313. version: c.vers,
  314. cipherSuite: c.cipherSuite,
  315. createdAt: uint64(c.config.time().Unix()),
  316. alpnProtocol: c.clientProtocol,
  317. peerCertificates: c.peerCertificates,
  318. activeCertHandles: c.activeCertHandles,
  319. ocspResponse: c.ocspResponse,
  320. scts: c.scts,
  321. isClient: c.isClient,
  322. extMasterSecret: c.extMasterSecret,
  323. verifiedChains: c.verifiedChains,
  324. }
  325. }
  326. // EncryptTicket encrypts a ticket with the [Config]'s configured (or default)
  327. // session ticket keys. It can be used as a [Config.WrapSession] implementation.
  328. func (c *Config) EncryptTicket(cs ConnectionState, ss *SessionState) ([]byte, error) {
  329. ticketKeys := c.ticketKeys(nil)
  330. stateBytes, err := ss.Bytes()
  331. if err != nil {
  332. return nil, err
  333. }
  334. return c.encryptTicket(stateBytes, ticketKeys)
  335. }
  336. func (c *Config) encryptTicket(state []byte, ticketKeys []ticketKey) ([]byte, error) {
  337. if len(ticketKeys) == 0 {
  338. return nil, errors.New("tls: internal error: session ticket keys unavailable")
  339. }
  340. encrypted := make([]byte, aes.BlockSize+len(state)+sha256.Size)
  341. iv := encrypted[:aes.BlockSize]
  342. ciphertext := encrypted[aes.BlockSize : len(encrypted)-sha256.Size]
  343. authenticated := encrypted[:len(encrypted)-sha256.Size]
  344. macBytes := encrypted[len(encrypted)-sha256.Size:]
  345. if _, err := io.ReadFull(c.rand(), iv); err != nil {
  346. return nil, err
  347. }
  348. key := ticketKeys[0]
  349. block, err := aes.NewCipher(key.aesKey[:])
  350. if err != nil {
  351. return nil, errors.New("tls: failed to create cipher while encrypting ticket: " + err.Error())
  352. }
  353. cipher.NewCTR(block, iv).XORKeyStream(ciphertext, state)
  354. mac := hmac.New(sha256.New, key.hmacKey[:])
  355. mac.Write(authenticated)
  356. mac.Sum(macBytes[:0])
  357. return encrypted, nil
  358. }
  359. // DecryptTicket decrypts a ticket encrypted by [Config.EncryptTicket]. It can
  360. // be used as a [Config.UnwrapSession] implementation.
  361. //
  362. // If the ticket can't be decrypted or parsed, DecryptTicket returns (nil, nil).
  363. func (c *Config) DecryptTicket(identity []byte, cs ConnectionState) (*SessionState, error) {
  364. ticketKeys := c.ticketKeys(nil)
  365. stateBytes := c.decryptTicket(identity, ticketKeys)
  366. if stateBytes == nil {
  367. return nil, nil
  368. }
  369. s, err := ParseSessionState(stateBytes)
  370. if err != nil {
  371. return nil, nil // drop unparsable tickets on the floor
  372. }
  373. return s, nil
  374. }
  375. func (c *Config) decryptTicket(encrypted []byte, ticketKeys []ticketKey) []byte {
  376. if len(encrypted) < aes.BlockSize+sha256.Size {
  377. return nil
  378. }
  379. iv := encrypted[:aes.BlockSize]
  380. ciphertext := encrypted[aes.BlockSize : len(encrypted)-sha256.Size]
  381. authenticated := encrypted[:len(encrypted)-sha256.Size]
  382. macBytes := encrypted[len(encrypted)-sha256.Size:]
  383. for _, key := range ticketKeys {
  384. mac := hmac.New(sha256.New, key.hmacKey[:])
  385. mac.Write(authenticated)
  386. expected := mac.Sum(nil)
  387. if subtle.ConstantTimeCompare(macBytes, expected) != 1 {
  388. continue
  389. }
  390. block, err := aes.NewCipher(key.aesKey[:])
  391. if err != nil {
  392. return nil
  393. }
  394. plaintext := make([]byte, len(ciphertext))
  395. cipher.NewCTR(block, iv).XORKeyStream(plaintext, ciphertext)
  396. return plaintext
  397. }
  398. return nil
  399. }
  400. // ClientSessionState contains the state needed by a client to
  401. // resume a previous TLS session.
  402. type ClientSessionState struct {
  403. session *SessionState
  404. }
  405. // ResumptionState returns the session ticket sent by the server (also known as
  406. // the session's identity) and the state necessary to resume this session.
  407. //
  408. // It can be called by [ClientSessionCache.Put] to serialize (with
  409. // [SessionState.Bytes]) and store the session.
  410. func (cs *ClientSessionState) ResumptionState() (ticket []byte, state *SessionState, err error) {
  411. if cs == nil || cs.session == nil {
  412. return nil, nil, nil
  413. }
  414. return cs.session.ticket, cs.session, nil
  415. }
  416. // NewResumptionState returns a state value that can be returned by
  417. // [ClientSessionCache.Get] to resume a previous session.
  418. //
  419. // state needs to be returned by [ParseSessionState], and the ticket and session
  420. // state must have been returned by [ClientSessionState.ResumptionState].
  421. func NewResumptionState(ticket []byte, state *SessionState) (*ClientSessionState, error) {
  422. state.ticket = ticket
  423. return &ClientSessionState{
  424. session: state,
  425. }, nil
  426. }
  427. // [Psiphon]
  428. type ObfuscatedClientSessionState struct {
  429. SessionTicket []uint8
  430. Vers uint16
  431. CipherSuite uint16
  432. CreatedAt uint64 // seconds since UNIX epoch
  433. MasterSecret []byte
  434. ServerCertificates []*x509.Certificate
  435. VerifiedChains [][]*x509.Certificate
  436. ExtMasterSecret bool
  437. // Client-side TLS 1.3-only fields.
  438. UseBy uint64 // seconds since UNIX epoch
  439. AgeAdd uint32
  440. }
  441. var obfuscatedSessionTicketCipherSuite_TLS12 = TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256
  442. var obfuscatedSessionTicketCipherSuite_TLS13 = TLS_AES_128_GCM_SHA256
  443. // [Psiphon]
  444. // NewObfuscatedClientSessionState produces obfuscated session tickets or PSK.
  445. //
  446. // # Obfuscated Session Tickets
  447. //
  448. // Obfuscated session tickets is a network traffic obfuscation protocol that appears
  449. // to be valid TLS using session tickets. The client actually generates the session
  450. // ticket and encrypts it with a shared secret, enabling a TLS session that entirely
  451. // skips the most fingerprintable aspects of TLS.
  452. // The scheme is described here:
  453. // https://lists.torproject.org/pipermail/tor-dev/2016-September/011354.html
  454. //
  455. // Circumvention notes:
  456. // - TLS session ticket implementations are widespread:
  457. // https://istlsfastyet.com/#cdn-paas.
  458. // - An adversary cannot easily block session ticket capability, as this requires
  459. // a downgrade attack against TLS.
  460. // - Anti-probing defence is provided, as the adversary must use the correct obfuscation
  461. // shared secret to form valid obfuscation session ticket; otherwise server offers
  462. // standard session tickets.
  463. // - Limitation: an adversary with the obfuscation shared secret can decrypt the session
  464. // ticket and observe the plaintext traffic. It's assumed that the adversary will not
  465. // learn the obfuscated shared secret without also learning the address of the TLS
  466. // server and blocking it anyway; it's also assumed that the TLS payload is not
  467. // plaintext but is protected with some other security layer (e.g., SSH).
  468. //
  469. // Implementation notes:
  470. // - The TLS ClientHello includes an SNI field, even when using session tickets, so
  471. // the client should populate the ServerName.
  472. // - Server should set its SetSessionTicketKeys with first a standard key, followed by
  473. // the obfuscation shared secret.
  474. // - Since the client creates the session ticket, it selects parameters that were not
  475. // negotiated with the server, such as the cipher suite. It's implicitly assumed that
  476. // the server can support the selected parameters.
  477. func NewObfuscatedClientSessionState(
  478. sharedSecret [32]byte, isTLS13 bool, extMasterSecret bool) (*ObfuscatedClientSessionState, error) {
  479. // Create a session ticket that wasn't actually issued by the server.
  480. vers := uint16(VersionTLS12)
  481. cipherSuite := obfuscatedSessionTicketCipherSuite_TLS12
  482. if isTLS13 {
  483. vers = VersionTLS13
  484. cipherSuite = obfuscatedSessionTicketCipherSuite_TLS13
  485. }
  486. masterSecret := make([]byte, masterSecretLength)
  487. _, err := rand.Read(masterSecret)
  488. if err != nil {
  489. return nil, err
  490. }
  491. config := &Config{}
  492. ageAdd := make([]byte, 4)
  493. _, err = config.rand().Read(ageAdd)
  494. if err != nil {
  495. return nil, err
  496. }
  497. lifetime := maxSessionTicketLifetime
  498. serverState := &SessionState{
  499. version: vers,
  500. isClient: false,
  501. cipherSuite: cipherSuite,
  502. createdAt: uint64(config.time().Unix()),
  503. secret: masterSecret,
  504. peerCertificates: nil,
  505. extMasterSecret: extMasterSecret,
  506. // TLS 1.3 fields
  507. useBy: uint64(config.time().Add(lifetime).Unix()),
  508. ageAdd: binary.LittleEndian.Uint32(ageAdd),
  509. }
  510. sessionTicketKeys := []ticketKey{config.ticketKeyFromBytes(sharedSecret)}
  511. ssBytes, err := serverState.Bytes()
  512. if err != nil {
  513. return nil, err
  514. }
  515. sessionTicket, err := config.encryptTicket(ssBytes, sessionTicketKeys)
  516. if err != nil {
  517. return nil, err
  518. }
  519. // ObfuscatedClientSessionState fields are used to construct
  520. // ClientSessionState objects for use in ClientSessionCaches. The client will
  521. // use this cache to pretend it got that session ticket from the server.
  522. clientState := &ObfuscatedClientSessionState{
  523. SessionTicket: sessionTicket,
  524. Vers: vers,
  525. CipherSuite: cipherSuite,
  526. MasterSecret: masterSecret,
  527. ExtMasterSecret: extMasterSecret,
  528. UseBy: serverState.useBy,
  529. AgeAdd: serverState.ageAdd,
  530. CreatedAt: serverState.createdAt,
  531. }
  532. return clientState, nil
  533. }
  534. func ContainsObfuscatedSessionTicketCipherSuite(cipherSuites []uint16) bool {
  535. for _, cipherSuite := range cipherSuites {
  536. if cipherSuite == obfuscatedSessionTicketCipherSuite_TLS12 {
  537. return true
  538. }
  539. }
  540. return false
  541. }
  542. func ContainsObfuscatedPSKCipherSuite(cipherSuites []uint16) bool {
  543. for _, cipherSuite := range cipherSuites {
  544. if cipherSuite == obfuscatedSessionTicketCipherSuite_TLS13 {
  545. return true
  546. }
  547. }
  548. return false
  549. }
  550. // allZeros returns true if remaining bytes are all zero.
  551. func allZeros(s cryptobyte.String) bool {
  552. b := []byte(s)
  553. for _, v := range b {
  554. if v != 0x0 {
  555. return false
  556. }
  557. }
  558. return true
  559. }