document.write (9042);