document.writeln('4212')