What is 35% of 10?