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