HASH(0x7f5d0c58b9b0)