HASH(0x7ef120d2b380)