HASH(0x7f5cedfaaf60)