document.writeln('95')