(function() {    var toc =  [{"name":"Numerisch in Zeichenfolge umwandeln","type":"item","tilePath":"","description":"","url":"trigger_operation/Convert_Numeric_to_String.htm"},{"name":"Gleitkomma in Zeichenfolge umwandeln","type":"item","tilePath":"","description":"","url":"trigger_operation/Convert_Float_to_String.htm"},{"name":"Zeichenfolge in Numerisch/Gleitkomma umwandeln","type":"item","tilePath":"","description":"","url":"trigger_operation/Convert_String_to_Numeric_Float.htm"},{"name":"Zeichenfolgenlänge abrufen","type":"item","tilePath":"","description":"","url":"trigger_operation/Get_String_Length.htm"},{"name":"Zeichenfolge extrahieren (links/rechts)","type":"item","tilePath":"","description":"","url":"trigger_operation/Extract_String_(Left_Right).htm"},{"name":"Zeichenfolge extrahieren (Mitte)","type":"item","tilePath":"","description":"","url":"trigger_operation/Extract_String_(Middle).htm"},{"name":"Zeichenfolge suchen","type":"item","tilePath":"","description":"","url":"trigger_operation/Search_String.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();