[@Default] Are you sure, the average amount of stormtrooper in a a star destroyer are 9,800.