HASH(0x7fedd005c978)