HASH(0x7ff41402d960)