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