document.write(" 94");