(function() {    var toc =  [{"name":"プラグインについて","type":"item","tilePath":"","description":"","url":"plugin/6_31_01.html"},{"name":"プラグインを設定する","type":"item","tilePath":"","description":"","url":"plugin/6_31_02.html"},{"name":"プラグインを実行する","type":"item","tilePath":"","description":"","url":"plugin/6_31_03.html"},{"name":"［マークした領域を抽出 プラグインの設定］ダイアログボックス","type":"item","tilePath":"","description":"","url":"plugin/6_31_d_01.html"},{"name":"［抽出領域の確認］ダイアログボックス","type":"item","tilePath":"","description":"","url":"plugin/6_31_d_02.html"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();