document.write("1072 ");