document.write(' 3944 ');