document.writeln('6012');