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