document.write (" 9694 ");