(function() {    var toc =  [{"name":"About Plug-ins","type":"item","tilePath":"","description":"","url":"plugin/10_05_01.html"},{"name":"Executing the Batch Select Files Plug-in","type":"item","tilePath":"","description":"","url":"plugin/10_05_02.html"},{"name":"[Settings for Batch Select Files] dialog box","type":"item","tilePath":"","description":"","url":"plugin/deskdp0501.html"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();