HASH(0x76101deb72f8)