document.write("801231")