document.write("1012 ");