HASH(0x7ff4451d6c08)