document.write (" 9698 ");