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