(function() {    var toc =  [{"name":"Configurações do terminal","type":"book","tilePath":"","key":"toc7"},{"name":"Configurações do dispositivo externo","type":"book","tilePath":"","key":"toc8"},{"name":"Configurações de acessórios","type":"book","tilePath":"","key":"toc9"},{"name":"Configurações de conexões FTP","type":"book","tilePath":"","key":"toc11"},{"name":"Configurações de acesso aos dados (Operação remota)","type":"book","tilePath":"","key":"toc12"},{"name":"Propriedades","type":"book","tilePath":"","key":"toc16"},{"name":"Lista de portas TCP usadas pela unidade de display","type":"item","tilePath":"","description":"","url":"configuring_system/tcp_ports_used_by_display.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();