document.write ("8240 ");