document.write ("8242");