Am using push messaging to download updated files from web server. Am adding code to app to send an email confirming successful receipt of the files. I know how to do that part. I want to retrieve the device id that was used when the device was initially registered from C2DM, so I can include that in the email. That way I can determine which devices were successful and which were not. How do I retrieve that device id?