HASH(0x7ef120d35740)