document.writeln('7236');