// If it’s FireFox, then sets the

// "signed.applets.codebase_principal_support" to TRUE
if (navigator.userAgent.indexOf("Firefox")!=-1)
  user_pref("signed.applets.codebase_principal_support", true); 
function copyToClipboard(text) {
        if (window.clipboardData) window.clipboardData.setData("Text", text);
        else if (window.netscape) {
                    user_pref("signed.applets.codebase_principal_support", true);
                netscape.security.PrivilegeManager.enablePrivilege('UniversalXPConnect');
                var clip = Components.classes['@mozilla.org/widget/clipboard;1'].createInstance(Components.interfaces.nsIClipboard);
             if (!clip) return false;
                var trans = Components.classes['@mozilla.org/widget/transferable;1'].createInstance(Components.interfaces.nsITransferable);
                if (!trans) return false;
                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);
                str.data=text;
                trans.setTransferData("text/unicode",str,text.length*2);
                var clipid=Components.interfaces.nsIClipboard;
                if (!clipid) return false;
                clip.setData(trans,null,clipid.kGlobalClipboard);
        }
        return false;
}