(function() {    var toc =  [{"name":"Paramètres de cible","type":"book","tilePath":"","key":"toc7"},{"name":"Paramètres d'équipement externe","type":"book","tilePath":"","key":"toc8"},{"name":"Paramètres d'accessoire","type":"book","tilePath":"","key":"toc9"},{"name":"Paramètres de connexion FTP","type":"book","tilePath":"","key":"toc11"},{"name":"Paramètres d'accès aux données (Opération distante)","type":"book","tilePath":"","key":"toc12"},{"name":"Propriétés","type":"book","tilePath":"","key":"toc16"},{"name":"Liste des ports TCP utilisés par l'afficheur","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 });    })();