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