document.write("42040")