{notempty name='$users.cart_num'}{$users.cart_num}{/notempty}