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