document.writeln('95');