HASH(0x7f5ce80fc9b0)