document.writeln("3072") document.writeln("