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