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