document.writeln('3072');