The path of a rotating fan has a diameter of about 18 inches and a circumference of about 56 inches. The path of a smaller model of the fan has a circumference of about 9 inches. What is the diameter of the rotating path of the smaller model? Round the nearest tenth.