document.write("42142");