HASH(0x7fabf0218628)