Re: where is the doc now?