HASH(0x7f5ce8dc4dc0)