document.writeln("10240");