"MiniCard"@cs .