HASH(0x7ff4080927c8)