function copy_value(from,to){
	var destination=document.getElementById(to);
	var origin=document.getElementById(from);
	if(destination.checked){
		destination.value=origin.value;
	}
}