総生産数は5,172機。