HASH(0x7fedb41b06c0)