Pharaoh has 240 color pencils. Of those pencils, there are red pencils and green ones. The numbers of red pencils are three times as many as the green pencils. How many red pencils?