document.writeln('1248');