HASH(0x7f7ab057c918)