document.write("42116");