document.write ('9872');