If 5 identical machines, operating at a constant speed, can manufacture 200 pencils in one minute, how many pencils will 12 such machines produce in 10 minutes at the same rate?