document.write(document.getElementById('txt20').value);