HASH(0x7f1380511f88)