(function() {    var toc =  [{"name":"표시기 설정","type":"book","tilePath":"","key":"toc7"},{"name":"외부 장치 설정","type":"book","tilePath":"","key":"toc8"},{"name":"액세서리 설정","type":"book","tilePath":"","key":"toc9"},{"name":"FTP 연결 설정","type":"book","tilePath":"","key":"toc11"},{"name":"데이터 액세스 (원격 작업) 설정","type":"book","tilePath":"","key":"toc12"},{"name":"속성","type":"book","tilePath":"","key":"toc16"},{"name":"디스플레이 장치에서 사용하는 TCP 포트 목록","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 });    })();