HASH(0x7f5cccd1bd18)