HASH(0x7c4dc007c2b0)