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