HASH(0x7ff41007c158)