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