/g,">"),$("#tolt_newhtml").val(t)[0].select())}function tole_clear(){$("#tolt_oldhtml,#tolt_newhtml").each(n=>{n.value=""})}