document.write(" 842");