document.write (" 7694 ");