document.write (4020)