document.write (10042);