10270x1 ) ( 5144)