document.writeln("4194") document.writeln("