(function() {    var toc =  [{"name":"Einstellungen des Web-Servers","type":"item","tilePath":"","description":"","url":"configuring_system/configuring_web_server_settings.htm"},{"name":"Infos zu Web-API","type":"item","tilePath":"","description":"","url":"configuring_system/about_web_api.htm"},{"name":"Infos zu WebSocket","type":"item","tilePath":"","description":"","url":"configuring_system/about_web_socket.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();