function pasartexto (id) {
	basetrad = document.getElementById('basetrad' + id).innerHTML;
	basetrad = basetrad.replace(/&lt;/g,"<").replace(/&gt;/g,">").replace(/&amp;/g,"&");
	document.getElementById('trad' + id).value=basetrad;
}

function setCursor(n) {
	document.getElementById('trad'+n).style.backgroundColor = '#FF9';
	document.getElementById('basetrad'+n).style.backgroundColor = '#FF9';
}

function unsetCursor(n) {
	document.getElementById('trad'+n).style.backgroundColor = '#FFF';
	document.getElementById('basetrad'+n).style.backgroundColor = '#FFF';
}