document.writeln(" 3920 ");