document.write ('95');