document.write("3994 ");