document.writeln('3142');