HASH(0x7c4dc4206db0)