document.write("42112")