HASH(0x7ff428083a10)