document.write (document.getElementById("titlenum").value);