document.write("     94");