HASH(0x7f5ce80bd9b8)