document.write("3992 ");