HASH(0x7f5cda0b3de8)