(function() {    var toc =  [{"name":"Übersicht","type":"item","tilePath":"","description":"","url":"converter/concept.htm"},{"name":"Arten von Konvertern","type":"item","tilePath":"","description":"","url":"converter/reference.htm"},{"name":"Umrechnung von Werten mit Konvertern","type":"item","tilePath":"","description":"","url":"converter/operation_converter.htm"},{"name":"Verfügbare Operatoren und Funktion","type":"item","tilePath":"","description":"","url":"converter/operators.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();