If a circle has a radius of 7, what is the diameter?