(function() {    var toc =  [{"name":"¿Qué son los registros de operaciones?","type":"book","tilePath":"","key":"toc97"},{"name":"Mostrar el registro de operaciones","type":"item","tilePath":"","description":"","url":"operation_log/reference.htm"},{"name":"Exportación del registro de operaciones","type":"item","tilePath":"","description":"","url":"operation_log/operation_log_export.htm"},{"name":"Propiedades","type":"book","tilePath":"","key":"toc98"},{"name":"Script disponible para usar con los registros de operaciones","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 });    })();