function copy_text(div_from, div_to) {
	var div_source, div_parent;
	// Standards-compliant browsers.
	if (document.getElementById) {
		div_source = document.getElementById(div_from);
		div_parent = document.getElementById(div_to);
	// Old IE versions.
	} else if (document.all) {
		div_source = document.all[div_from];
		div_parent = document.all[div_to];
	// Netscape 4.
	} else if (document.layers) {
		div_source = document.layers[div_from];
		div_parent = document.layers[div_to];
	// This browser can't handle DOM node retrieval.
	} else {
	    return;
	}
	var text_node = document.createTextNode( div_source.firstChild.nodeValue );
	div_parent.appendChild(text_node);
}