document.write (4072)