If it takes 9 hours for 4 people to build a shed, how many people are needed to build the same type of shed in one-third of the time?