HASH(0x7f5d00be0c20)