document.write (4200)