document.write (" 9880 ");