Certainly. I gave those numbers in response to your colleague as well. I'm happy to repeat them.
There are 1.3 million registered with UNHCR or the Government of Pakistan. There are 840,000 who carry a card that identifies them as Afghan citizens. A further 800,000 is an estimate of the undocumented Afghans currently residing in Pakistan.