Traditionally the diameter of the 45rpm gramophone record is (how many) inches?
7