1258X5 ) ( 892 .)