The time required to complete a job varies inversely as the number of people working. It too 4 hours for 7 electricians to wire a buikding. How long would it have taken 3 electricians to have done the job?