HOL2005 PRINTED CARD