HASH(0x7f5cca7be9f0)