20は20，13は・・・

　修理に伺ったY野君から、
「何だか大きなパッキンが使ってあるけど20㎜のパッキンの大きさは幾つ？」
と問い合わせが有りました。

　普段気にもしてなかったので20㎜のパッキンを実際に測ってみたら、

　　

　キッチリと20㎜でした。

　では13㎜のパッキンは？

　　

　13㎜ではなくて14.15㎜ほどでした。
13㎜を1/2インチ（配管）と解釈するなら15㎜と取れるので、
13と15の間を取って14㎜なのでしょうか？

　で、修理のパッキンは13㎜が潰れて広がっていたので大きく見えたようで、
13㎜のコマパッキンを交換して完了したそうです。