function copy(){ var d = document.all("source").value; window.clipboardData.setData('text', d); }
去学习吧
