document.writeln('12')