document.writeln("3800") document.writeln("