The voltage across the secondary winding is 10,000 V, and the voltage across the primary winding is 25,000 V. If the primary winding has 200 coils, how many coils are in the secondary winding?