document.write("014202");