document.write (" 9988 ");