いやゴメン測り直したら5mm弱だった。
元は5mmかも。