12 painters were tasked with painting the interior. These painters made up 80% of the painting crew, so how many painters in all worked on this job?