磁石の穴は10 mm×3 mmの円です。