A 15-person road crew is scheduled to finish repairing a highway in 12 days. On the morning of the fifth day, several new workers join the crew and, together, they complete the remaining repairs in 6 days. How many new workers were brought in to join the crew