Namal found 12 elephants but 4 were small. How many big elephants did Namal find?