if(window.clipboardData) //IE
window.clipboardData.setData('Text', 'text to copy');
// "<a href=""javascript:if(window.clipboardData)void(window.clipboardData.setData('Text', '" & tr_id & "'))"" title=""to clipboard (IE)"">[tr_id=" & tr_id & "]</a>"
// cf. http://www.krikkit.net/howto_javascript_copy_clipboard.html