document.write("95")