+print(int)0xFFF9999-15257;//