(function() {    var toc =  [{"name":"オペレーション一覧","type":"item","tilePath":"","description":"","url":"trigger_operation/Available_Operations.htm"},{"name":"値の変更","type":"book","tilePath":"","key":"toc85"},{"name":"文字列操作","type":"book","tilePath":"","key":"toc86"},{"name":"画面/グラフィックオブジェクト","type":"book","tilePath":"","key":"toc87"},{"name":"HMI 機能","type":"book","tilePath":"","key":"toc88"},{"name":"表示器","type":"book","tilePath":"","key":"toc89"},{"name":"ドライバー","type":"book","tilePath":"","key":"toc90"},{"name":"スクリプト機能","type":"book","tilePath":"","key":"toc91"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();