document.write ('12318');