document.write ("8002");