K5型转向架是在借鉴K4型转向架成功经验的基础上研制开发的新型大轴重摆动式转向架。

若有如下程序：
public class Test
public static void main (String[] args)
int x＝20；
if (x＞10) System.out.print(x-=5)；
if (x＞5) System.out.print(x--)；

则程序运行后的输出结果是 【12】 。