document.write (" 9676 ");