Я бы угадал, на моем заводе еще делают ключи 5.5 и 6.5 на 7/8