HASH(0x76107c2487d8)