document.write (" 9884 ");