document.write (" 9652 ");