(function() {    var toc =  [{"name":"About the Find and Mark Plug-in","type":"item","tilePath":"","description":"","url":"plugin/6_17_01.html"},{"name":"Executing the Find and Mark Plug-in","type":"item","tilePath":"","description":"","url":"plugin/6_17_03.html"},{"name":"[Find and Mark] dialog box","type":"item","tilePath":"","description":"","url":"plugin/deskdp036.html"},{"name":"[Find and Mark Plug-in Settings] dialog box","type":"item","tilePath":"","description":"","url":"plugin/deskdp035.html"},{"name":"[Rectangle Properties] dialog box","type":"item","tilePath":"","description":"","url":"plugin/deskdp038.html"},{"name":"[NotePad Properties] dialog box","type":"item","tilePath":"","description":"","url":"plugin/deskdp039.html"},{"name":"[Text Properties] dialog box","type":"item","tilePath":"","description":"","url":"plugin/deskdp040.html"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();