//运行代码
        function runEx(cod1) {
            cod = document.getElementById(cod1)
            var code = cod.value;
            if (code != "") {
                var newwin = window.open(‘‘, ‘‘, ‘‘);
                newwin.opener = null
                newwin.document.write(code);
                newwin.document.close();
            }
        }
        //复制代码
        function doCopy(ID) {
            if (document.all) {
                textRange = document.getElementById(ID).createTextRange();
                textRange.execCommand("Copy");
            }
            else {
                //alert("此功能只能在IE上有效");
                copyToClipboard(document.getElementById(ID).value);
            }
        }
        //另存为代码
        function saveCode(cod1) {
            cod = document.getElementById(cod1)
            var code = cod.value;
            if (code != "") {
                var winname = window.open(‘‘, ‘_blank‘, ‘top=10000‘);
                winname.document.open(‘text/html‘, ‘replace‘);
                winname.document.write(code);
                winname.document.execCommand(‘saveas‘, ‘‘, ‘code.htm‘);
                winname.close();
            }
        }
        function copyToClipboard(txt) {
            if (window.clipboardData) {
                window.clipboardData.clearData();
                window.clipboardData.setData("Text", txt);
            } else if (navigator.userAgent.indexOf("Opera") != -1) {
                window.location = txt;
            } else if (window.netscape) {
                try {
                    netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect");
                } catch (e) {
                    alert("被浏览器拒绝！\n请在浏览器地址栏输入‘about:config‘并回车\n然后将‘signed.applets.codebase_principal_support‘设置为‘true‘");
                }
                var clip = Components.classes[‘@mozilla.org/widget/clipboard;1‘].createInstance(Components.interfaces.nsIClipboard);
                if (!clip)
                    return;
                var trans = Components.classes[‘@mozilla.org/widget/transferable;1‘].createInstance(Components.interfaces.nsITransferable);
                if (!trans)
                    return;
                trans.addDataFlavor(‘text/unicode‘);
                var str = new Object();
                var len = new Object();
                var str = Components.classes["@mozilla.org/supports-string;1"].createInstance(Components.interfaces.nsISupportsString);
                var copytext = txt;
                str.data = copytext;
                trans.setTransferData("text/unicode", str, copytext.length * 2);
                var clipid = Components.interfaces.nsIClipboard;
                if (!clip)
                    return false;
                clip.setData(trans, null, clipid.kGlobalClipboard);
            }
        }