document.writeln('6144')