HASH(0x7f5cedfafd80)