document.write (" 9888 ");