document.write (4072);