HASH(0x7fedc666c380)