document.write("3872 ");