HASH(0x76107deb4078)