document.writeln('5212')