document.write ('9988');