HASH(0x7f5d06bba0e0)