まったく馬鹿な質問ですが、一寸とはいったいどれくらいの長さですか?