HASH(0x7c4db5d03d00)