document.writeln(" 3941 ");