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