To make concrete, the ratio of cement to sand is 1 : 3. If cement and sand are sold in bags of equal mass, how many bags of cement are required to make concrete using 15 bags of sand?