HASH(0x76107017e7d0)