HASH(0x7f5ced03c378)