What are PIN and PUK codes? What if I have lost my eID? What if I have forgotten my PIN code? What if I have forgotten my PUK code?