HASH(0x7fedd4006d40)