HASH(0x7f5c9677e4d8)