document.write("94 ");