document.write("1042 ");