document.write("1001231")