HASH(0x7c4dc50fdd18)