function copy_to_clipboard (value) {
	if (window.clipboardData) {
		window.clipboardData.setData("Text",value);
	} else {
		if(null == document.getElementById("flash_div")) {
			var flash_div = document.createElement("div");
			flash_div.id = "flash_div";
			document.body.appendChild(flash_div);
		}
		
		document.getElementById("flash_div").innerHTML = '';
		var flash_div = "<embed src=\"/static/flash/clipboard.swf\" FlashVars=\"clipboard="+escape(value)+"\" width=\"0\" height=\"0\" type=\"application/x-shockwave-flash\"></embed>";
		document.getElementById("flash_div").innerHTML = flash_div;
	}
}