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