//运行代码

        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);

            }

        }