document.write (" 3944 ");