A restaurant has 6 1/2 pounds of jalapeno peppers, 4 3/4 pounds of red bell peppers, and 5 1/4 pounds of poblano peppers. How many pounds of peppers does the restaurant have in all?