(function() {    var toc =  [{"name":"Impostazioni target","type":"book","tilePath":"","key":"toc7"},{"name":"Impostazioni del dispositivo esterno","type":"book","tilePath":"","key":"toc8"},{"name":"Impostazioni degli accessori","type":"book","tilePath":"","key":"toc9"},{"name":"Impostazioni delle connessioni FTP","type":"book","tilePath":"","key":"toc11"},{"name":"Impostazioni di accesso dati (Azionamento da remoto)","type":"book","tilePath":"","key":"toc12"},{"name":"Proprietà","type":"book","tilePath":"","key":"toc16"},{"name":"Elenco delle porte TCP utilizzate dall'unità di visualizzazione.","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 });    })();