HASH(0x7f5d00ed4f18)