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