document.writeln('1247');