document.write("3042 ");