[Pki-users] US Government SmartCard question