что такое идентификатор OpenPGP PPA?

Я создаю LiveCD из этого руководства и наткнулся на строку, которую я не понимаю:

sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 12345678 #Substitute "12345678" with the PPA's OpenPGP ID. 

задается вопросом, может ли кто-нибудь объяснить, что я должен подставить 12345678 и как его получить?