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