document.write (" 9672 ");