(function() {    var toc =  [{"name":"Ritardo","type":"item","tilePath":"","description":"","url":"trigger_operation/operation_delay.htm"},{"name":"Visualizza debug","type":"item","tilePath":"","description":"","url":"trigger_operation/Debug_Print.htm"},{"name":"Risultato operazione","type":"item","tilePath":"","description":"","url":"trigger_operation/trigger_result_of_operation.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();