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