document.write (" 9632 ");