document.writeln('12000');