HASH(0x7f5ced03c4b0)