document.write("199512")