(function() {    var toc =  [{"name":"Plattformeinstellungen","type":"book","tilePath":"","key":"toc7"},{"name":"Einstellungen des externes Geräts","type":"book","tilePath":"","key":"toc8"},{"name":"Zubehöreinstellungen","type":"book","tilePath":"","key":"toc9"},{"name":"Einstellungen für FTP-Verbindungen","type":"book","tilePath":"","key":"toc11"},{"name":"Einstellungen des Datenzugriffs (Fernsteuerung)","type":"book","tilePath":"","key":"toc12"},{"name":"Eigenschaften","type":"book","tilePath":"","key":"toc16"},{"name":"Liste der vom Anzeigegerät verwendeten TCP-Ports","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 });    })();