gif怎么压缩小且清楚?在线分享一种压缩方法!
gif图片要怎么压缩?大家知道方法吗?我们都知道gif图片一般体积都比较大,特别是高清大尺寸的gif图片,如果我们想要把gif图片给发送出去,那么就会提示文件过大无法发送,这时候就要gif压缩了,那么你知道gif怎么压缩小且清楚吗?相信很多人都不知道,下面就来给大家讲讲吧。
2023年07月20日查看详情 >如何将视频文件转换成GIF动图
你们是否有遇见过这样的情况,需要把视频文件转成GIF动图,你们是怎么转换的呢,或者借助什么工具呢,GIF的制作方式是有很多,视频转GIF是其中的一种,这段时间经常接到小伙伴咨询视频怎么转换成GIF,看来很多小伙伴有这块的需求,今天小编我就来详细介绍下转换的操作流程,视频怎么转换成GIF动图请往下看。
2021年06月29日查看详情 >怎么将gif的图片压缩小点?教你一招,轻松压缩图片大小!
怎么将gif的图片压缩小点?对于新媒体人来说,无论是运营微信官方账号还是做其他自媒体,文章中经常会穿插一些GIF图片,让文章更有阅读性。但是每个平台对上传的图片大小都有限制,所以经常会遇到图片太大被限制上传的情况。因此就要gif的图片压缩小点,今天推荐一个gif压缩工具的工具。我们来看看吧。
2023年01月07日查看详情 >GIF动图能剪出只需要的部分吗?
GIF动图能剪出只需要的部分吗?大家都知道,图片如果要提取出部分需要的地方,只需用快捷键CTRL+X即可,那么动图是无法使用这功能的,剪切出来就成了静态图片了,那么动图要怎么剪切呢。
2021年06月23日查看详情 >怎么压缩gif图片大小?分享一招快速压缩动图的方法
GIF(Graphics Interchange Format)是一种非常实用的图片格式,但是在像素密度和颜色数量方面受到限制。因此,GIF图像的大小通常非常大,对于网站的加载速度是一个挑战。在这篇文章中,我们将介绍怎么压缩gif图片大小方法。
2023年06月09日查看详情 >gif动图太大当然要裁剪一下啦
小编发现很多朋友在制作gif动图的时候制作出来的图片很大,不是说体积大,而是尺寸大,如果不是要做banner或者是需要规定尺寸大小的话,其实是可以将多余的部分裁剪掉的,就好比我们从视频里截取的部分gif,其实有很多时候我们只是想要其中的某一个人物或者场景,但是截取的时候把其他的人物和场景也一起截取下来了,这时候是可以编辑裁剪一下的,具体怎么做呢?下面来给大家举个例子。
2021年03月26日查看详情 >GIF多余的图片要怎么删除?
GIF多余的图片要怎么删除?GIF作为一个动态的图片具备是许多的元素,更能体现图片的有点,深的人们的喜欢,对比静态图片,动态更加能突出图片的优点,但如果图片过大,我们在上传的过程中,难免遇见一些限制,需要删去一部分比较不重要的部分,那么需要借助什么软件的才能做到呢?
2021年06月03日查看详情 >视频文件如何转换成gif动画
图片方面弄动态视频,ps应该可以做到。视频方面,搜索“我拉网gif制作”软件,选择录制屏幕,然后会出现一个小窗口。把小窗口移到你想要录制GIF的位置,同时可以拉动边框来调整录制范围的大小,就可以录制视频片段做成动态图。
2022年09月13日查看详情 >gif动图怎么换背景?我拉网动态图片换背景操作步骤分享
在当今数字时代,GIF动图已经成为网络上广泛使用的一种媒体形式。GIF动图是一种通过多帧图像循环播放而创建出的动态图像。它们通常用于表达情感、展示产品或娱乐目的。然而,有时候我们可能需要改变GIF动图的背景,以使其适应不同的场景或个人需求。本文将详细介绍gif动图怎么换背景。
2023年06月05日查看详情 >如何制作动图把视频做成动图的效果?网友:效果图片确实令人满意!
随着视频技术的不断发展和创新,动图也在不断完善,并且越来越受到人们的欢迎。对于如何制作动图把视频做成动图的效果这个问题,可以尝试使用这款软件。它提供了直接将导入的视频转换为GIF格式的功能,我们还可以在其中对尺寸或时长进行编辑,以制作出令人满意的效果图片。而且,最终的效果完全可以媲美专业的软件。
2024年04月25日查看详情 >gif怎么裁剪图片大小
gif裁剪是处理gif动图常用的一个功能,当gif图片有不满意的地方我们都可以裁剪它,制作gif图片的时候也难免会带有一些字幕、水印等,为了突出图片的重点,让gif展示效果更好,我们都会选择将这些部分裁剪掉。那么怎么操作呢?如何gif怎么裁剪图片大小?使用gif制作工具的话就方便多了,下面来给大家讲讲裁剪gif图片大小的操作方法,让你轻轻松松裁剪出漂亮gif图片!
2021年10月18日查看详情 >如何压缩gif文件大小?操作步骤分享给你!
gif格式图片,也就是我们经常会使用到的动图格式。比如我们在文字聊天中,会发个动图表情包。甚至手机或是电脑背景也喜欢使用动图。这样的解释,想必大家已经知道gif图片是怎样的了。但是既然是动图,难免它的文件就很大,那么如何压缩gif文件大小?如果想要在制作有个性的动图,怎么操作呢?
2023年03月23日查看详情 >动态图标制作软件免费的有吗?网友:用起来相当方便!
现在用户对于图片的需求越来越多了,很多人都想要一款能动起来的图编,那么自然需要有专门制作的软件来做,但是很多都需要花钱,于是有不少人都在问动态图标制作软件免费的有吗?小编推荐的这款软件能够非常方便的制作出来这些GIF图标,多种不同的模式可以进行选择,而且不需要花钱就可以体验制作效果。
2024年03月13日查看详情 >手机视频怎么转为gif动图 手机视频转gif的几种方法
有网友问,手机视频怎么转gif?既然是手机视频,那可以考虑在手机上操作啊。像是GIF Studio、GIPHY Cam这类app,可以将视频转换成GIF。不过手机上操作哪里有电脑上操作来的方便。如果有条件,还是推荐将手机视频传送到电脑上进行视频转gif的操作。
2024年05月30日查看详情 >gif怎么压缩小一点
gif怎么压缩小一点?我们经常会用到gif动图,特别是在聊天的时候,为了增加聊天的趣味性,我们往往会发一些有趣的gif动图,也就是表情包,很多人不仅喜欢发表情包也喜欢制作表情包,当制作出来的gif动图过大时就要gif压缩小一点,不然的话,发出去的gif图片太大,加载时间长还耗流量,有些甚至是发送不出去,那么要怎么gif压缩大小在线?今天就来给大家讲讲这个问题,看看如何压缩gif动图吧。
2022年09月23日查看详情 >动态图标制作软件免费的有吗?网友:修改起来也很方便!
用户对于动态图片的需求越来越高,寻找免费的动态图标制作软件成为了很多人的追求。推荐的这款软件提供了多种模式选择,可以轻松制作GIF图标,并且完全免费。它提供了预览功能,让用户能够确认制作效果是否符合需求。
2024年03月13日查看详情 >gif动画怎么裁剪
许多人都知道,GIF动态图片通常不能直接裁剪的,否则它们将成为普通图片,而不是动态图片。我们可以通过使用专业软件直接在上面进行裁剪。那么如何裁剪gif动画呢?下面来给大家讲讲裁剪gif图片的方法。
2022年06月16日查看详情 >芦苇荡视频转gif图片
准备材料:芦苇荡视频 准备工具:我拉网gif制作高级版 打开选择视频转gif功能。
2022年04月11日查看详情 >如何压缩gif图片
我们在日常聊天的时候都喜欢发gif动图,所以很多人也会自己去制作一些动图,但是考虑到有些动图的体积过大,我们不能够直接使用gif动图,需要先压缩才可以使用。如何压缩gif图片?有没有何有效gif压缩工具的操作方法?方法当然是有的啦。
2022年12月05日查看详情 >如何gif裁剪图片
当我们觉得gif图片太大或者是没有突出重点的时候,我们会想要修剪一下,将多余或者是边框的内容给剪掉,裁剪gif图片并不难,小编今天就来教大家怎么裁剪gif,修剪出来的gif图片好看又精致。
2022年06月08日查看详情 >怎么把多张gif图拼一起?
平时我们都喜欢发发动图表情包,这几天我突然萌发了想把几张图片搞在一起的想法,想搞笑的表情包,在拼接在一起,是不是更有趣,快乐翻倍呢,这样做成的动图还能有对比的效果,昨天聊天有跟朋友说到这想法,朋友给我安利了一款说是能实现这效果的软件,我们来一起看看吧。
2021年06月22日查看详情 >gif表情包怎么缩小尺寸
我们经常会用到gif动图,特别是在聊天的时候,为了增加聊天的趣味性,我们往往会发一些有趣的gif动图,也就是表情包,很多人不仅喜欢发表情包也喜欢制作表情包,当制作出来的gif动图过大时就要gif表情包怎么缩小尺寸,不然的话,发出去的gif图片太大,加载时间长还耗流量,有些甚至是发送不出去,那么gif表情包怎么缩小尺寸?今天就来给大家讲讲这个问题,看看如何gif压缩在线转换免费吧。
2022年09月23日查看详情 >gif文件太大怎么变小一点呢?网友:确实更容易分享了!
GIF制作高级版提供了丰富的功能,不仅能帮你创建新的GIF动图,还能对已有的动图进行进一步的编辑和优化。它的裁剪功能十分实用,可以在不影响动画播放效果的情况下,对动图进行调整。更棒的是,该工具还具备视频转GIF的功能,这让用户可以直接将喜欢的视频片段转换成GIF动图,省去了繁琐的逐帧导入过程,极大地简化了动图的制作。通过这款工具,你可以轻松解决gif文件太大怎么变小一点呢的难题,让分享动图变得更加方便快捷。
2024年04月11日查看详情 >动态图片制作表情包是免费的吗?平台:开放用户体验!
2024年03月07日查看详情 >压缩gif图片大小
gif图片要怎么压缩?大家知道方法吗?我们都知道gif图片一般体积都比较大,特别是高清大尺寸的gif图片,如果我们想要把gif图片给发送出去,那么就会提示文件过大无法发送,这时候就要压缩gif图片大小了,那么你知道怎么将压缩gif图片吗?相信很多人都不知道,下面就来给大家讲讲吧。
2022年04月22日查看详情 >怎么给gif图片添加水印?
想要给制作好的gif图片添加上自己专属的水印要怎么做呢?今天就来教大家怎么添加水印,下面来看看详细的流程
2022年04月06日查看详情 >gif图片如何压缩体积
gif图片在我们的日常娱乐和工作中经常会用到的,如今许多表情包都是GIF动画,虽然很高清,但很多表情包的上传大小都有限制。gif图片如何压缩体积呢?通常都会使用gif图片压缩在线软件。那用什么软件来压缩GIF图片呢?下面就让我们一起来分享gif图片压缩在线。
2022年09月21日查看详情 >gif动态图片大小压缩
我们在日常聊天的时候都喜欢发gif动图,所以很多人也会自己去制作一些动图,但是考虑到有些动图的体积过大,我们不能够直接使用gif动图,需要先压缩才可以使用。如何压缩GIF动态图片大小?有没有何有效压缩GIF动态图片的操作方法?方法当然是有的啦。
2022年04月22日查看详情 >怎么视频转gif图片?方法详解
如果你想要怎么视频转gif图片,那么这篇文章就很适合你看了,小编今天就来给大家讲讲视频转gif图。
2022年12月07日查看详情 >怎么压缩唯美gif图片
gif图片要怎么压缩?大家知道方法吗?我们都知道gif图片一般体积都比较大,特别是高清大尺寸的gif图片,如果我们想要把gif图片给发送出去,那么就会提示文件过大无法发送,这时候就要压缩唯美gif图片了,那么你知道怎么将压缩唯美gif吗?相信很多人都不知道,下面就来给大家讲讲吧。
2022年04月26日查看详情 >动态图片gif怎么裁剪
怎么裁剪一张gif图片?很多人都不知道该如何裁剪动态图片gif动漫,大部分时候我们获得gif图片都是从别人哪里发来的,很多朋友都不会制作,所以,当想要裁剪gif动漫时也不知道怎么办,没关系,小编今天就来教会大家,看看是如何实现的。
2022年05月01日查看详情 >gif如何压缩一下?收好这份实用方法分享!
小丽是一位刚入行的3d动态广告设计师,主要工作是根据客户要求设计相关广告,大部份的设计需求都是gif动图,这些文件会占用大量内存,随着设计的文件越来越多,她提出:gif如何压缩一下?让文稿演示的时候能够更加流畅?让我们看看我拉网gif制作是如何操作的呢?
2023年04月10日查看详情 >做动图表情包的软件免费的哪个好用?网友:适合自己才重要!
如果你正在寻找做动图表情包的软件免费的哪个好用,以下几个特点将是你的考量重点:首先,该软件应该是完全免费的,无需任何会员资格即可享受所有功能;其次,它应具备一个简洁明了的操作界面,让新手也能快速掌握;再者,软件应提供丰富的编辑工具,使用户能够轻松地创建动态表情包。
2024年04月24日查看详情 >怎么把多张图片合成一个gif?教你图片合成gif的方法
怎么利用图片合成gif图片呢?相信还有很多朋友喜欢用图片来合成gif的吧,当我们想要制作一张gif图片来展示我们想要展示的图片时,要怎么将多张图片合并并且让它动起来呢?多张图片合成一个gif这个问题并不难解决,使用多张图片合成gif软件就很好办了,具体要怎么做呢?下面就来演示一下吧。
2023年06月09日查看详情 >这样制作闪图只要一分钟!
上传图片素材,调整图片的顺序和图片的切换速度,然后点击生成gif,网站默认尺寸240p,如果你想要更大尺寸,可以注册成为我们的会员哦,可以制作更多更大的闪图。
2021年03月24日查看详情 >动态搞笑gif图片如何裁剪
怎么裁剪一张gif图片?很多人都不知道该如何裁剪动态搞笑gif图片,大部分时候我们获得gif图片都是从别人哪里发来的,很多朋友都不会制作,所以,当想要裁剪搞笑gif图片时也不知道怎么办,没关系,小编今天就来教会大家,看看是如何实现的。
2022年04月26日查看详情 >制作闪图通常只要两个步骤!
不知道大家会不会制作闪图,闪图就是会闪动的图片,也就是gif动图。相信大家一定接触不少,但是制作的话,可能就不一定,那么制作闪图难吗?不难,只要两个步骤,简简单单就能制成,下面来给大家演示一下。
2021年03月25日查看详情 >gif动态图片怎么合成
怎么利用图片合成gif图片呢?相信还有很多朋友喜欢用图片来合成gif的吧,当我们想要制作一张gif图片来展示我们想要展示的图片时,要怎么将多张图片合并并且让它动起来呢?合成gif动态图片这个问题并不难解决,使用合成gif图片软件就很好办了,具体要怎么做呢?下面就来演示一下吧。
2022年01月19日查看详情 >几张图片怎么合成gif
怎么利用图片合成gif图片呢?相信还有很多朋友喜欢用图片来合成gif的吧,当我们想要制作一张gif图片来展示我们想要展示的图片时,要怎么将多张图片合并并且让它动起来呢?图片合成gif动图这个问题并不难解决,使用图片合成gif图片软件就很好办了,具体要怎么做呢?下面就来演示一下吧。
2022年02月18日查看详情 >如何将图片合成gif
怎么利用图片合成gif图片呢?相信还有很多朋友喜欢用图片来合成gif的吧,当我们想要制作一张gif图片来展示我们想要展示的图片时,要怎么将多张图片合并并且让它动起来呢?图片合成gif这个问题并不难解决,使用图片合成gif图片软件就很好办了,具体要怎么做呢?下面就来演示一下吧。
2022年02月22日查看详情 >多个图片合成gif
怎么利用图片合成gif图片呢?相信还有很多朋友喜欢用图片来合成gif的吧,当我们想要制作一张gif图片来展示我们想要展示的图片时,要怎么将多张图片合并并且让它动起来呢?多个图片合成gif这个问题并不难解决,使用多个图片合成gif图片软件就很好办了,具体要怎么做呢?下面就来演示一下吧。
2022年02月23日查看详情 >gif表情包怎么做
在互联网上,我们可以看到许许多多形形色色的表情包gif,这些表情包gif设计的十分形象生动,让人看着就很开心,从而让人们产生,我也想制作表情包gif的念头,那么你知道gif表情包怎么做吗?下面就是gif表情包软件推荐介绍。
2022年08月09日查看详情 >视频怎么转成GIF图片?
很多人想要将喜欢的视频制作成动图或者表情包,这时就需要将视频转换成GIF动图。但是大多数人都不知道如何操作,下面就给大家介绍下视频怎么转成GIF图片。1、下载安装gif制作高级版,选择视频转gif功能。
2022年09月13日查看详情 >如何压缩GIF大小
gif图片在我们的日常娱乐和工作中经常会用到的,如今许多表情包都是GIF动画,虽然很高清,但很多表情包的上传大小都有限制。如何压缩GIF大小呢?通常都会使用gif图片压缩在线软件。那用什么软件来压缩GIF图片呢?下面就让我们一起来分享。
2022年09月20日查看详情 >照片怎么合成GIF
我们可以用照片合成gif图片吗?当然可以啦,这也是最常见的一种制作gif方法,只要你有照片,那么你就可以将这些照片制作成gif,那么照片怎么合成GIF的呢?今天小编就来给大家分享一下照片在线合成gif流程。
2022年09月27日查看详情 >图片gif合成工具
我们可以用图片合成gif图片吗?当然可以啦,这也是最常见的一种制作gif方法,只要你有图片,那么你就可以将这些图片制作成gif,那么图片怎么合成gif的呢?今天小编就来给大家分享一下图片gif合成工具。
2022年11月18日查看详情 >用什么编辑gif
用什么编辑gif?微信表情包重新带火了GIF这个古老的图片格式,可是制作GIF图片,尤其是微信公众号、表情包制作时,GIF图片编辑总是不那么方便。今天小编找来了gif图片编辑器,看看能不能帮到你!
2022年11月22日查看详情 >gif动图压缩工具,带你了解清楚!
gif图片在我们的日常娱乐和工作中经常会用到的,如今许多表情包都是GIF动画,虽然很高清,但很多表情包的上传大小都有限制。如何压缩gif动图呢?通常都会使用gif压缩软件。那用什么软件来压缩GIF图片呢?下面一起来看看这款工具。
2023年08月15日查看详情 >用什么压缩动漫gif图片
现在网络流行了,我们聊天时也离不开GIF图片。但当使用时,遇到较大的GIF会影响发送的速度,因此我们需要把GIF大小稍微压缩一些。一般而言,普通GIF动图大小不能超过5M。下面就让我们一起来和我们一起分享新大陆!一款能方便地压缩动漫gif图片的软件,能快速帮助我们压缩动漫gif。
2022年04月26日查看详情 >mp4转gif工具免费用的是哪款?网友:确实不用花钱就能用!
如果你在寻找mp4转gif工具免费用的是哪款,这款软件绝对值得尝试。它操作简便,且能满足你制作和分享GIF的各种需求,而且也确实不需要花钱就可以直接进行使用。
2024年04月29日查看详情 >摘要: 你是否厌倦了那些收费的GIF制作软件?别担心,今天我就来为你揭秘一些免费的GIF制作工具,让你轻松制作出有趣的GIF动画! 1. Giphy Giphy是一个非常受欢迎的GIF搜索引擎,但它也提供了一个简单易用的在线GIF制作工具。你只需要上传图片或视频,然后选择GIF的开始和结束时间,就可以生成GIF了。
摘要: 动图,也就是GIF,是一种非常有趣且流行的图像格式。它能够将多张图片连续播放,形成动态效果。现在,有很多软件和方法可以用来制作动态图片。让我们一起来了解一下吧! 1. 使用在线GIF制作工具 在线GIF制作工具是一种非常方便的方法,你不需要下载任何软件,只需要在浏览器中打开相应的网站,就可以开始制作动图了。
摘要: 动图,也就是GIF,是一种非常受欢迎的图片格式,它可以让图片动起来,给人们带来更加生动有趣的视觉体验。现在,有很多免费的在线软件可以帮助我们制作动图,下面就来介绍几种常用的方法。 一、使用在线GIF制作工具 现在有很多在线的GIF制作工具,这些工具通常都非常简单易用,只需要打开网页,上传图片或者视频,然后选择一些基本的设置,比如播
摘要: 动画GIF,这个神奇的小玩意儿,相信每个人都不陌生。它让静态的图片动起来,给聊天、社交媒体和网页增添了无限乐趣。今天,就让我们一起来探索一下,如何制作出属于自己的动画GIF吧! 1. 使用在线GIF制作工具 在线GIF制作工具是最简单的方法之一。你不需要下载任何软件,只需要一个浏览器,就可以轻松制作GIF。gif在线制作工具提供了
摘要: 嘿,朋友们!今天我们来聊聊如何制作一个酷炫的logo动图。在这个数字化的时代,一个吸引人的logo动图可以为你的品牌或产品增色不少。下面,我将介绍几种不同的软件和方法,帮助你轻松制作出令人印象深刻的logo动图。 方法一、gif在线制作 logo动图,说到底依然是gif动图中的一种。而且处于设计和版权的考量,使用多图合成gif的方
摘要: 在微信聊天中,使用有趣的GIF动图表情包可以让聊天更加生动有趣。如果你想制作自己的GIF动图表情包,以下是怎么快速制作微信gif动图的方法:
摘要: 大家在聊微信的时候都喜欢使用gif图片吧,但是当你收藏了一个很不错的gif图片,想要分享给朋友的时候,发现图片太大了发不出去,这就很悲伤了,普通图片大了不发就行,但是如果是一张很想分享的图片,但是此刻又发不出去,那只能将图片缩小发出去了,那么问题来了,如何解决gif图片太大无法发送到微信问题呢?
摘要: Hello,大家好呀!我是转转师妹~我们经常会在网上下载一些GIF动图,目的是方便我们在与自己好友聊天的时候使用,但那终归是他人制作的,你是否想过自己制作gif动图呢?其实很简单,只要利用一些软件即可生成,下面我就来教大家怎么制作动态gif图,感兴趣的小伙伴一起来看看吧!
摘要: gif动态图怎么制作?当我们看到非常有趣的视频或图片时,如果我们想制作gif图片,我们该怎么办?我相信很多人都有这样的想法,但他们经常因为没有制作工具而停下来。我们只能考虑一下。今天,小编将教你怎么制作gif动态图,看看它是如何制作的。
摘要: 我们在各种知识分享的时候,特别是软件操作的时候,光是文字解说,有些人感觉会看不明白,如果图文感觉太长,还没有看,就觉得好难了。但是一张动图可以别人一下子就看明白。
摘要: 如何用图片制作循环的gif?怎么将一段小视频里面的话截取出来制作成gif图片呢?当你想要分享某个片段时,直接发送视频有点大,而且视频长的话,还要拉进度条才能到我们想要看的画面,如果能将分享的那一段制成gif图片,那么分享起来就很容易了,使用gif制作高级版就能将视频转gif图片。转换起来也是十分的简单呢。制作循环的gif
摘要: 如何制作一个gif图片背景图片?gif制作高级版是一款功能众多,操作简单,使用方便的gif制作工具,和其他的制作工具相比,功能简单易懂,操作快捷方便,支持多个功能的制作,如多图合成gif、视频转gif。想要编辑gif里面的内容也支持添加文字、水印等操作,能够压缩、剪裁gif,还有更多功能等你发现。如何制作一个gif图片
摘要: 如果你还不会吐鲁番视频转gif图片制作,那么相信我拉网gif制作工具可以帮助到你,该款软件支持有效快速制作gif图片,功能众多,操作简单,欢迎大家来使用。功能主要用:多图合成gif、视频转gif、gif压缩、gif裁剪、gif拼图、gif编辑,gif编辑是一个可以添加文字,添加水印,调整图片形状等内容的功能。
摘要: 怎么制作gif动图高清?怎么将一段小视频里面的话截取出来制作成gif图片呢?当你想要分享某个片段时,直接发送视频有点大,而且视频长的话,还要拉进度条才能到我们想要看的画面,如果能将分享的那一段制成gif图片,那么分享起来就很容易了,使用gif制作高级版就能将视频转gif图片。转换起来也是十分的简单呢。制作高清gif动图
摘要: 高质量gif怎么制作?gif制作高级版是一款功能众多,操作简单,使用方便的gif制作工具,和其他的制作工具相比,功能简单易懂,操作快捷方便,支持多个功能的制作,如多图合成gif、视频转gif。想要编辑gif里面的内容也支持添加文字、水印等操作,能够压缩、剪裁gif,还有更多功能等你发现。怎么制作高质量gif