echo "w3mにdatファイルを読み込む機能を追加したいのだが、datファイル
ってどういう形式で圧縮されているの？"