急に赤鉛筆が要ることになった。馴染みの文具屋さんで買った。80歳ぐらいのオバさんが直ぐに単価を言ったのにビックリした。惚けずに大したもんだ。鉛筆：60円　鉛筆削り：280円だった。