document.write("     95");