HASH(0x7c4dd20f12c8)