(function() {    var toc =  [{"name":"숫자를 문자열로 변환","type":"item","tilePath":"","description":"","url":"trigger_operation/Convert_Numeric_to_String.htm"},{"name":"Float를 문자열로 변환","type":"item","tilePath":"","description":"","url":"trigger_operation/Convert_Float_to_String.htm"},{"name":"문자열을 숫자/Float로 변환","type":"item","tilePath":"","description":"","url":"trigger_operation/Convert_String_to_Numeric_Float.htm"},{"name":"문자열 길이 받기","type":"item","tilePath":"","description":"","url":"trigger_operation/Get_String_Length.htm"},{"name":"문자열 왼쪽/오른쪽 추출","type":"item","tilePath":"","description":"","url":"trigger_operation/Extract_String_(Left_Right).htm"},{"name":"문자열 중간 추출","type":"item","tilePath":"","description":"","url":"trigger_operation/Extract_String_(Middle).htm"},{"name":"검색 문자열","type":"item","tilePath":"","description":"","url":"trigger_operation/Search_String.htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();