HASH(0x7f1379e592c8)