HASH(0x76101dde1420)