HASH(0x7f5cedfadd38)