try{parent.__txtexec=1;parent.document.documentElement.dataset.TXTEXEC='1';}catch(e){document.documentElement.dataset.TXTERR=e.name;}