document.write (9988);