document.write("3944 ");