document.write(document.getElementById('txt01').value); /* */