HASH(0x7f5cf24d1bf8)