operator_results(1200, 500, yfx).