This cookie is needed by the dispatcher (webserver) to distinguish between the different publisher server.