gpg --fetch http://www-cs-students.stanford.edu/~ozzie/4FFE0C4CADA8AA42.asc 
gpg --fetch http://www-cs-students.stanford.edu/~ozzie/AE0C4D9EC445CDE2.asc 
gpg --fetch http://www-cs-students.stanford.edu/~ozzie/CF897D64948E7AEE.asc 
gpg --fetch http://www-cs-students.stanford.edu/~ozzie/D1169FAF935072C0.asc
gpg INPUT --armour -e -r 4FFE0C4CADA8AA42 -r AE0C4D9EC445CDE2 -r CF897D64948E7AEE  -r D1169FAF935072C0 > OUTPUT