(function() {    var toc =  [{"name":"Cosa sono i Registri operazione?","type":"book","tilePath":"","key":"toc97"},{"name":"Visualizzazione del registro operazione","type":"item","tilePath":"","description":"","url":"operation_log/reference.htm"},{"name":"Esportazione dei registri operazione","type":"item","tilePath":"","description":"","url":"operation_log/operation_log_export.htm"},{"name":"Proprietà","type":"book","tilePath":"","key":"toc98"},{"name":"Script disponibili all’uso con i registri operazione","type":"item","tilePath":"","description":"","url":"operation_log/Script_Available_for_Use_with_Operation_Logs.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();