document.write ("3944 ");