(function() {    var toc =  [{"name":"Informazioni sul display numerico","type":"item","tilePath":"","description":"","url":"numeric_display/concept.htm"},{"name":"Informazioni sui formati dei display (Visualizzatore numerico)","type":"item","tilePath":"","description":"","url":"numeric_display/reference.htm"},{"name":"Esempi di impostazione","type":"book","tilePath":"","key":"toc42"},{"name":"Proprietà (Visualizzatore numerico)","type":"item","tilePath":"","description":"","url":"property/Properties_(Numeric_Display).htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();