document.write (" 9765 ");