document.write("42140");