(function() {    var toc =  [{"name":"プラグインについて","type":"item","tilePath":"","description":"","url":"plugin/6_01_01.html"},{"name":"プラグインの種類","type":"item","tilePath":"","description":"","url":"plugin/6_01_02.html"},{"name":"プラグインのインストール・アンインストール","type":"item","tilePath":"","description":"","url":"plugin/6_01_02_01.html"},{"name":"プラグインの追加や設定変更をする","type":"item","tilePath":"","description":"","url":"plugin/6_01_03.html"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();