document.write ('8240');