document.writeln('7241');