function $(id) {
	return document.getElementById(id);
}

function copy(str) { 
	window.clipboardData.setData("Text", str); 
	alert('成功将如下内容复制到剪贴板：\n\n'+str);
}