(function() {    var toc =  [{"name":"Proprietà (Registro operazioni)","type":"item","tilePath":"","description":"","url":"property/property_operationlog.htm"},{"name":"Proprietà (Visualizzatore del registro operazioni)","type":"item","tilePath":"","description":"","url":"property/Properties_(Operation_Log_Viewer).htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();