document.write (" 9671 ");