document.write (" 9887 ");