document.write (4202);