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