document.write ('71142');