document.writeln(" 3922 ");