HASH(0x7ef120d34a88)