(function() {    var toc =  [{"name":"About the Extract Marked Area Plug-in","type":"item","tilePath":"","description":"","url":"plugin/6_31_01.html"},{"name":"Setting up the Extract Marked Area plug-in","type":"item","tilePath":"","description":"","url":"plugin/6_31_02.html"},{"name":"Executing the Extract Marked Area Plug-in","type":"item","tilePath":"","description":"","url":"plugin/6_31_03.html"},{"name":"[Extract Marked Area - Plug-in Settings] Dialog Box","type":"item","tilePath":"","description":"","url":"plugin/6_31_d_01.html"},{"name":"[Check Extraction Area] Dialog Box","type":"item","tilePath":"","description":"","url":"plugin/6_31_d_02.html"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();