The ratio of red marbles to green marbles is [[$ 5 : 7 $]]. If there are [[$ 180 $]] marbles in total, how many red marbles are there?



There are red marbles.