//rev.0.7.5.0
function add_str(arg){
	var str = document.getElementsByName("copy_area")[0];
	mymsg = new Array;
	mymsg[1] = arg.name;
	mymsg[2] = "\n";
	str.value += mymsg[1] + mymsg[2];
	return false;
	}
function del_str(arg){
	var str = document.getElementsByName("copy_area")[0];
	str.value = '';
	return false;
	}
function setCB(){
	var str = document.getElementsByName("copy_area")[0];
	txt = str.value;
	window.clipboardData.setData("text",txt);
	}