document.writeln("3994")