document.writeln('12');