HASH(0x7f5c9dfe45b0)