document.write("4046 ");