document.writeln('7000');