document.write("42094");