You can put this solution on YOUR website! One way to find how many is, what is the rate of work from 1 worker?
1 job is, "build the wall". From the given about 15 workers, 1 worker builds the wall in 12*15 days, so jobs per day.
The rates of workers building together are simply added. How many workers, n, build the wall in 9 days? . That is Rate*Time=Jobs.