document.writeln('7-42023');