(function() {    var toc =  [{"name":"Proprietà (Tastierino numerico del sistema)","type":"item","tilePath":"","description":"","url":"property/Properties_(System_Keypad).htm"},{"name":"Proprietà (Tastierino stringhe del sistema)","type":"item","tilePath":"","description":"","url":"property/Properties_(System_String_Keypad).htm"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();