document.writeln('1248')