document.write("42002")