lingo当中@card的格式是啥？怎么限制它非0变量的个数？