function copyToClipboard(){clipboard_text=document.getElementById("translated_text").value;if(window.clipboardData){window.clipboardData.setData("Text",clipboard_text);}else{var B="flash_clipboard";if(!document.getElementById(B)){var C=document.createElement("div");C.id=B;document.body.appendChild(C);
}document.getElementById(B).innerHTML="";var A='<embed src="flash2clipboard.swf" FlashVars="clipboard='+clipboard_text+'" width="0" height="0" type="application/x-shockwave-flash"></embed>';document.getElementById(B).innerHTML=A;}}