document.write("10142");