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