HASH(0x7c4dce05bb70)