document.write (" 9622 ");