HASH(0x7c4d5007e5d0)