怎么合成gif图片?教程详细讲解
什么是动图?指当一组特定的静态图像以指定的频率切换而产生某种动态效果的图片,扩展名是“.gif”。你知道怎么制作gif吗?制作动图的方法有很多,最常见的两种就是将视频转成gif,另一种就是多图合成gif,那么怎么合成gif图片?今天就来给大家讲讲多图合成gif图片的方法。
2022年12月22日查看详情 >你知道怎么解决视频转gif图片吗?
在网络上有许多gif都来自于视频,那么GIF的动态图像是如何从视频中截取的呢?现在简单的学习一下视频转gif图片,本文这种方法非常适合新手操作哦!下面一起来学习一下视频转gif图吧。
2022年03月11日查看详情 >gif如何编辑
gif如何编辑?今天给大家推荐个网站,GIF编辑的,那么首先说说如果给GIF加字幕,也可说是加水印吧!这个网站最近挺流行的,下面一起看看编辑gif动图的软件吧。
2022年10月22日查看详情 >视频如何转gif不影响像素
视频如何转gif不影响像素?大家知道有什么方法吗?很多时候我们看到有趣 的片段想要制作成gif图片分享出去,但是苦于没有工具,很难实现自己的想法,小编今天来给大家分享一个视频转gif不影响像素工具,教你轻松视频转gif工具。
2022年11月25日查看详情 >多张图片怎么合成一张gif 多图合成gif
多张图片怎么合成一张gif呢?今天小编就来教大家一个多图合成gif的方法,相信还有很多朋友还不知道的,那么一起看过来吧,技多不压身,多一个技能对工作有很大的帮助哦,那么下面就一起来看看多图合成gif吧。
2022年07月21日查看详情 >怎么编辑gif动图尺寸
平时在接触一些gif动图时,有没有想过重新对其进行编辑修改?GIF的制作有很多种方法,而且也都很简单。如果想要对GIF图片进行二次编辑,比如说怎么编辑gif动图尺寸呢?本文我们来学习下,只要掌握了其中关键所在也就轻松能实现了,以下是gif编辑的方法,一起来看看吧!
2022年12月10日查看详情 >转视频为gif的软件下载
相信很多小伙伴对gif都不会陌生,这是一种常见的图片格式,但是与其他图片不同的是,gif是一种可以动的图片格式——动态图。伴随着网络流行语的不断增加,许多小伙伴喜欢在聊天的时候发一些gif动态表情包来增加乐趣。那么你知道怎么使用视频来制作一个表情包吗?这就教大家如何视频转gif格式,下面一起来学习视频转gif图片的方法吧。
2022年03月07日查看详情 >手机上视频怎么转成gif
手机视频转成gif软件是个很好用的技能,如果你要学习制作gif的话,那么不容错过这个功能哦,制作gif的方法有很多种,手机上视频怎么转成gif就是其中的一种,而且是非常的方便,只要有视频就可以直接转,不知道的朋友可以进来学习一下。
2022年09月07日查看详情 >怎么在重新编辑gif
平时在接触一些gif动图时,有没有想过重新对其进行编辑修改?GIF的制作有很多种方法,而且也都很简单。如果想要对GIF图片进行二次编辑,比如说怎么在重新编辑gif呢?本文我们来学习下,只要掌握了其中关键所在也就轻松能实现了,以下是gif制作编辑器的方法,一起来看看吧!
2022年10月29日查看详情 >在线如何制作动图?
在线如何制作动图?大家都很喜欢动图,动态的图片比较有视觉冲击力,带给人的感官很好,那么要怎么制作动图呢,很多小伙伴表示不会做,其实制作很简单,只要下载GIF制作软件就可以了,很多小伙伴表示就喜欢在网页上操作,操作完就关掉网页就好,下载软件麻烦,主要不是经常用就很占桌面位置,为此小编特地去网上找了一个靠谱的网页,而且整个操作步骤简单易懂,即使是菜鸟或小白也是能分分钟学会的,下面一起来学习下。
2021年06月28日查看详情 >怎样将视频转为gif动图格式文件?网友:处理能力真的超强!
怎样将视频转为gif动图格式文件?在我们日常的网络体验中,经常会看到各种GIF动态图像。例如,许多有趣的视频片段被转换成GIF格式,以便在网络上分享和欣赏。虽然这些动态图像没有声音,但它们能够展示如何将视频文件转换为GIF动画,从而与大家分享精彩的瞬间。与视频相比,GIF动画具有更小的文件大小,同时比静态图片更加生动。它融合了视频和图片的优点,并作为图片格式,更容易传播和分享。本文将向您介绍一款工具,帮助您轻松地将视频转换为GIF。
2024年04月05日查看详情 >早上好2024年比较新的图片制作软件哪个好?网友:这个简单又实用!
早上好2024年比较新的图片的发送也定义了打工人一天的开始,每天无非都是那样一张图片一点心意没有,每天都是不一样的一天。那么不一样的一天就要从一张不同的表情包开始,来跟我一起制作全新的表情包吧!
2024年03月08日查看详情 >怎么编辑gif图的颜色
平时在接触一些gif动图时,有没有想过重新对其进行编辑修改?GIF的制作有很多种方法,而且也都很简单。如果想要对GIF图片进行二次编辑,比如说怎么编辑gif图的颜色呢?本文我们来学习下,只要掌握了其中关键所在也就轻松能实现了,以下是编辑gif动图的方法,一起来看看吧!
2022年12月13日查看详情 >怎样将视频转为gif动图格式文件?网友:这下可以轻松搞定目标!
怎样将视频转为gif动图格式文件?在网络生活中,我们经常会接触到各种GIF动态图像。例如,许多有趣的视频片段被转换成GIF格式并在网络上分享。尽管这些动图无声,但它们展示了如何将视频文件转换为GIF动画,并与大家分享精彩瞬间。与视频相比,GIF动画的文件大小更小,且比静态图片更具生动性。它结合了视频和图片的优势,作为图片格式,更易于传播和分享。本文介绍的工具可以帮助您轻松实现视频到GIF的转换。
2024年04月03日查看详情 >gif图如何加字?自制表情包从我做起!
gif图如何加字?今天给大家推荐个网站,GIF编辑的,那么首先说说如果给GIF加字幕,也可说是加水印吧!这个网站最近挺流行的,下面一起看看gif编辑器吧。
2023年01月06日查看详情 >如何对漫画gif图片进行压缩
GIF的使用已经十分的广泛了,它出现在几乎所有社交媒体平台上。与其他格式的图片相比,这种格式的文件内存通常会更大。载入GIF的时间会更长一些,如果想压缩漫画gif图片的话,可以通过下面的方法解决,一起看看压缩gif漫画的方法吧!
2022年05月07日查看详情 >教你一分钟学会视频如何制作gif动图
现如今,gif动图的使用也越来越普遍,不仅可以用来制作各种表情包,还可以用来制作一些特效,例如视频动图,那么视频如何制作gif动图,接下来小编给大家介绍一款我拉网gif制作,非常简单的gif动图制作教程。希望对大家有所帮助,下面就一起来看看吧。
2023年05月04日查看详情 >gif动图怎么换背景
平时在接触一些GIF动图时,有没有想过重新对其进行编辑修改?GIF的制作有很多种方法,而且也都很简单。如果想要对GIF图片进行二次编辑,比如说gif动图怎么换背景呢?本文我们来学习下,只要掌握了其中关键所在也就轻松能实现了,以下是制作gif动图软件的方法,一起来看看吧!
2022年10月23日查看详情 >怎么编辑gif内的文字
平时在接触一些gif动图时,有没有想过重新对其进行编辑修改?GIF的制作有很多种方法,而且也都很简单。如果想要对GIF图片进行二次编辑,比如说怎么编辑gif内的文字呢?本文我们来学习下,只要掌握了其中关键所在也就轻松能实现了,以下是动图gif编辑器的方法,一起来看看吧!
2022年11月02日查看详情 >大家都知道合成gif图片,你还不知道?
怎么将多张图片合成一个gif动图呢?制作动图的方法有很多种,其中,合成gif图片是最为常见的一种,当我们只要简单的制作一张gif图片时,只要准备几张图片就可以,不过我们还需要工具才能帮我们完成,那么问题来了,多图合成gif图片的工具哪里找呢?网上搜索可以搜索出很多,但是好不好用就是另一回事了,如果你还在观望中,不知道使用什么工具,那么不妨来了解一下我拉网的gif制作工具,下面就来给大
2022年06月14日查看详情 >gif格式如何压缩图片大小
GIF的使用已经十分的广泛了,它出现在几乎所有社交媒体平台上。与其他格式的图片相比,这种格式的文件内存通常会更大。载入GIF的时间会更长一些,如果想知道gif格式如何压缩图片大小的话,可以通过下面的方法解决,一起看看gif压缩方式的方法吧!
2022年11月28日查看详情 >怎么在gif动图上加字?这篇超强的制作教程,一看你就会!
平时在接触一些GIF动图时,有没有想过重新对其进行编辑修改?GIF的制作有很多种方法,而且也都很简单。如果想要对GIF图片进行二次编辑,比如说怎么在gif动图上加字呢?本文我们来学习下,只要掌握了其中关键所在也就轻松能实现了,以下是gif编辑器的方法,一起来看看吧!
2023年01月11日查看详情 >怎么gif图片拼图?终于找到方法了
我们通常喜欢在网上聊天时使用有趣的gif动图作为表情包。当我们想把这些有趣的gif动图合成一个有趣的gif动图时,我们该怎么办?如何快速gif图片拼图?下面就来教你一个gif拼图的方法。
2022年04月21日查看详情 >动图gif图片如何裁剪
相信还有很多朋友不知道怎么裁剪动图gif图片的,今天小编就来给大家讲一讲,当我们制作好的gif图片尺寸很大,而且有很多不必要的内容时,我们就可以裁剪gif图片一下,那么具体该如何操作呢?今天来分享一个特别简单的方法,下面一起看看吧。
2022年06月14日查看详情 >每日一学:学习GIF动画制作的方法
动画制作分为二维和三维技术,像现在在网站中流行的闪影动画就属于二维动画;最具吸引力并应用最广泛的,莫过于3D动画。包括我们所看到的动画制作大片、电视广告片头、建筑动画等等都采用了三维动画制作技术。
2023年02月28日查看详情 >怎么样编辑gif里面的文字
平时在接触一些gif动图时,有没有想过重新对其进行编辑修改?GIF的制作有很多种方法,而且也都很简单。如果想要对GIF图片进行二次编辑,比如说怎么样编辑gif里面的文字呢?本文我们来学习下,只要掌握了其中关键所在也就轻松能实现了,以下是gif编辑软件的方法,一起来看看吧!
2022年12月10日查看详情 >如何将gif图压缩?分享一个超好用的gif压缩工具!
压缩图片可以减小图片的文件大小。随着相机像素的提高和摄影技术的不断发展,现在的图片越来越大。一些高分辨率的图片可能会占用数百兆的空间,这对于手机和电脑的存储空间来说是一种很大的浪费。因此,压缩图片可以有效地减小文件大小,从而节省存储空间和传输,让我们更好地管理和分享图片。给大家分享如何将gif图压缩方法,一起来学习下吧。
2023年07月20日查看详情 >GIF动图如何加水印?
水印是很多人都喜欢的一种维护自己权益的方式,很多人为了保护自己的版权都会给图片添加水印,水印一般都是分2种,文字水印跟图片水印,那么怎么给GIF动图添加上自己的个人独立水印呢,下面我就先教大家添加文字水印的方法,我们一起来学习下吧。
2021年06月24日查看详情 >如何压缩gif动态图片大小
GIF的使用已经十分的广泛了,它出现在几乎所有社交媒体平台上。与其他格式的图片相比,这种格式的文件内存通常会更大。载入GIF的时间会更长一些,如果想压缩GIF动态图片大小的话,可以通过下面的方法解决,一起看看压缩GIF动态图片的方法吧!
2022年01月29日查看详情 >如何将搞笑视频中的片段做成表情包?
随着生活也越来越丰富多彩,很多朋友喜欢把身边朋友的一些搞笑瞬间做成表情包,但图片却显得有些单调乏味,直接将视频转到GIF动图就可以完美演绎表情包的精髓。平常的生活就是喜欢看电影或电视剧打发时间,而在观影时看到特定的视频或画面很有趣的很适合用来做gif表情包,想把它截下来做成gif图片时该怎么办?
2021年04月16日查看详情 >干货教学|如何修改gif动态图片中的文字?用这个小工具轻松搞定!
如何修改gif动态图片中的文字?今天给大家推荐个网站,GIF编辑的,那么首先说说如果给GIF加字幕,也可说是加水印吧!这个网站最近挺流行的,下面一起看看编辑gif的软件推荐吧。
2023年03月24日查看详情 >视频转gif图片的方法,不错的软件推荐
相信很多小伙伴对gif都不会陌生,这是一种常见的图片格式,但是与其他图片不同的是,gif是一种可以动的图片格式——动态图。伴随着网络流行语的不断增加,许多小伙伴喜欢在聊天的时候发一些gif动态表情包来增加乐趣。那么你知道怎么使用视频来制作一个表情包吗?这就教大家如何视频转gif图片,下面一起来学习视频转gif图的方法吧。
2022年04月19日查看详情 >如何压缩gif文件大小
GIF的使用已经十分的广泛了,它出现在几乎所有社交媒体平台上。与其他格式的图片相比,这种格式的文件内存通常会更大。载入GIF的时间会更长一些,如果想如何压缩gif文件大小的话,可以通过下面的方法解决,一起看看gif图片压缩的方法吧!
2023年01月03日查看详情 >如何编辑gif动画上的文字?这里有篇终极玩法指南
如何编辑gif动画上的文字?今天给大家推荐个网站,GIF编辑的,那么首先说说如果给GIF加字幕,也可说是加水印吧!这个网站最近挺流行的,下面一起看看gif编辑器吧。
2023年01月04日查看详情 >如何编辑gif表情包
如何编辑gif表情包?GIF图处理,是新媒体人经常要做的一项工作,但经常出现下面这种问题。做的快,只需要几分钟,做得慢,可能需要半个小时以上时间。这其中,通常涉及这几件事:1、GIF图像素尺寸修改2、GIF图文件大小压缩3、GIF图和视频格式互转4、GIF图速度(帧率)修改接下来小公举推荐一个国内网站https://gif.55.la/gifeditor/这是一个GIF图在线编辑工具和客户端,访问
2022年12月16日查看详情 >什么手机软件可以把视频转成gif
相信很多小伙伴对gif都不会陌生,这是一种常见的图片格式,但是与其他图片不同的是,gif是一种可以动的图片格式——动态图。伴随着网络流行语的不断增加,许多小伙伴喜欢在聊天的时候发一些gif动态表情包来增加乐趣。那么你知道怎么使用视频来制作一个表情包吗?这就教大家什么手机软件可以把视频转成gif,下面一起来学习视频转成gif手机软件操作方法吧。
2022年09月07日查看详情 >如何改gif图文字
如何改gif图文字?GIF图处理,是新媒体人经常要做的一项工作,但经常出现下面这种问题。做的快,只需要几分钟,做得慢,可能需要半个小时以上时间。
2022年12月08日查看详情 >多张图片合成gif工具
怎么样多张图片合成gif呢?今天小编就来教大家一个多张图片合成gif图片的方法,相信还有很多朋友还不知道的,那么一起看过来吧,技多不压身,多一个技能对工作有很大的帮助哦,那么下面就一起来看看吧。
2022年03月01日查看详情 >好几张图片怎么合成gif图
怎么样好几张图片合成gif图呢?今天小编就来教大家一个图片合成gif图的方法,相信还有很多朋友还不知道的,那么一起看过来吧,技多不压身,多一个技能对工作有很大的帮助哦,那么下面就一起来看看吧。
2022年01月25日查看详情 >手机如何压缩gif动图
手机如何压缩gif动图?现在网络流行了,我们聊天时也离不开GIF图片。但当使用时,遇到较大的GIF会影响发送的速度,因此我们需要把GIF大小稍微压缩一些。一般而言,普通gif动图大小不能超过5M。下面就让我们一起来和我们一起分享新大陆!一款能方便地手机压缩gif动图的软件,能快速帮助我们手机压缩gif图片方法。
2022年08月29日查看详情 >gif动图怎么去掉文字?这款小白都会用的神器我只说一次
想要制作沙雕又好笑的表情包gif却不知道如何下手?教程来了,这就教会你gif动图怎么去掉文字!快快收藏起来吧,很多人都说,不知道怎么制作gif,不知道用什么工具好,今天小编就给大家带来一款好用又简单的gif制作工具,让你轻轻松松又快速就上手,下面来给的讲讲gif裁剪的流程吧,想要学习的朋友,看过来咯。
2023年07月04日查看详情 >微信gif表情怎么制作
教你一种简单又轻松的微信gif表情怎么制作方法,想要gif表情制作却不知道如何下手?小编今天就来给大家整理一份教程,相信大家都能学会,感兴趣的朋友走过路过千万不要错过哦~下面一起来看看吧。
2022年10月28日查看详情 >如何压缩搞笑动物动态图片gif
现在网络流行了,我们聊天时也离不开GIF图片。但当使用时,遇到较大的GIF会影响发送的速度,因此我们需要把GIF大小稍微压缩一些。一般而言,普通GIF动图大小不能超过5M。下面就让我们一起来和我们一起分享新大陆!一款能方便地如何压缩搞笑动物动态图片gif的软件,能快速帮助我们压缩gif软件。
2022年12月06日查看详情 >视频转gif图片的方法,你的同事都在用
视频转gif图是个很好用的技能,如果你要学习制作gif的话,那么不容错过这个功能哦,制作gif的方法有很多种,视频转gif图片就是其中的一种,而且是非常的方便,只要有视频就可以直接转,不知道的朋友可以进来学习一下。
2022年04月19日查看详情 >gif动图制作怎么裁剪?分享个GIF动图裁剪工具!
工作中如果需要制作gif图片的朋友,你知道gif动图制作怎么裁剪吗?要制作gif图片,难免就会遇到图片过大或者是需要裁剪的时候,当需要裁剪一张gif图片时,你会怎么做呢?如果你不会,那么就要好好看过来了。
2023年03月08日查看详情 >怎么把2张图片合成一张图片?操作方法教给你
如果想要将两张或以上的图片合称为一张图片,你们会想到使用什么方法来完成?有些人会想使用专业的设计软件来制作,但是这对于没有接触过的小白来说,难度就高了。没有关系,如果你是小白,那就不要错过今天的内容——怎么把2张图片合成一张图片,操作方法教给你。
2023年05月12日查看详情 >表情gif动图怎么做?一招学会表情gif动图的制作方法
表情gif动图是一种常见的数字化表情符号,它可以通过多种方式创建和分享,如社交媒体、聊天软件等。与传统的静态表情符号相比,表情gif动图更具有生动性和表现力,可以更好地表达情感和态度。表情gif动图的创建通常需要使用一些专业工具或软件,那么表情gif动图怎么做呢?一起来学习一下吧。
2023年04月07日查看详情 >电脑如何将视频转gif
电脑如何将视频转gif?如果你想要将视频转gif,那么这篇文章就很适合你看了,小编今天就来给大家讲讲视频转gif动图在线。
2022年12月11日查看详情 >教你怎么把照片转成gif图?照片 1 秒变动图!
还不知道怎么将图片合成gif图片吗?没关系,小编这就来教会大家,其实想要制作gif图片,有个很简单的方法,那就是使用图片合成,那么该怎么把照片转成gif图呢?下面就来给大家详细的讲解一下图片转gif软件的操作方法吧。
2023年03月22日查看详情 >你知道怎么将两张gif动图拼在一起吗?
如果我想要两张gif动图拼在一起,那么要怎样才能做到呢?有时候需要总结图片,或者多个图片共同欣赏,那么拼在一起就非常美观,多个图片一起动起来画面也是十分的壮观,那么想要做到这一需求应该要怎么办才好呢?下面就来给大家演示一下操作方法吧。
2021年04月02日查看详情 >摘要: 怎么将一个小视频转换成gif图片呢?很多人为了方便,都会选择直接转换,不过这样做确实也是可以的。很多小视频的内容都十分精彩,直接转换也可以用,那么具体要怎么将免费视频转gif呢?这就是我们今天的教学内容了,想要了解的朋友,快来学习一下视频转gif,gif制作的方法吧。
摘要: 现在gif动图的使用越来越广泛了,越来越多的人喜欢制作gif动图分享到社交平台上,相比图片,gif动图的展示效果更加好,相比视频,gif的体积小,在没有WiFi的情况下点开也不会耗费很多流量,而且画面也不熟视频,可以说是短小精悍了。那么视频转gif?朋友,你知道视频怎么转成gif吗?视频转gif是现在比较常用的一种制作gif方法。
摘要: 怎么视频转gif?电影和电视剧总是看到有趣和精彩的片段,整个视频分享也很占据内存,十分的麻烦,如果你可以截取GIF动态图片,可以做成表情包,随时发送给朋友分享,以下是gif制作,动态图片制作详细的操作方法,有需要的朋友可以参考。
摘要: 我们在网络上经常看到的一些gif图片是通过视频来转换,例如把电影或电视中的某一场景或人物的动作录下来,或者直接使用手机拍摄的视频,然后制成动态的图片。在将视频转gif时,有什么具体操作?下面我就给大家做一次示范,看看是怎么gif制作,gif编辑的吧。
摘要: 今天来给大家分享一下表情包制作的方法,不知道大家在日常工作和生活中有没有gif表情包的习惯呢?如果是初学者,那么本文很适合大家阅读,因为操作十分的简单,相信大家看完就能学会,下面一起来看看吧。制作gif最常见的两种方法分别是图片合成gif和视频转gif,下面来给大家一一介绍一下……
摘要: 在微信聊天中,使用有趣的GIF动图表情包可以让聊天更加生动有趣。如果你想制作自己的GIF动图表情包,以下是怎么快速制作微信gif动图的方法:
摘要: 大家在聊微信的时候都喜欢使用gif图片吧,但是当你收藏了一个很不错的gif图片,想要分享给朋友的时候,发现图片太大了发不出去,这就很悲伤了,普通图片大了不发就行,但是如果是一张很想分享的图片,但是此刻又发不出去,那只能将图片缩小发出去了,那么问题来了,如何解决gif图片太大无法发送到微信问题呢?
摘要: gif动态图怎么制作?当我们看到非常有趣的视频或图片时,如果我们想制作gif图片,我们该怎么办?我相信很多人都有这样的想法,但他们经常因为没有制作工具而停下来。我们只能考虑一下。今天,小编将教你怎么制作gif动态图,看看它是如何制作的。
摘要: Hello,大家好呀!我是转转师妹~我们经常会在网上下载一些GIF动图,目的是方便我们在与自己好友聊天的时候使用,但那终归是他人制作的,你是否想过自己制作gif动图呢?其实很简单,只要利用一些软件即可生成,下面我就来教大家怎么制作动态gif图,感兴趣的小伙伴一起来看看吧!
摘要: 为什么别人可以制作那么好看的gif动图呢,他们都是用什么软件制作的呢,我能不能学会呢呢?不知道怎么制作精美的gif动图?没关系,很容易的,跟着本教程,了解流程后三分钟就能制作出精美gif动图,下面一起来学习学习吧。
摘要: 动态效果图是怎么做出来的?不会动态效果图制作的没关系,现在有一篇动图在线制作网页版教程摆在你面前,就看你要不要接受了,想要学习的朋友,不用紧张,gif图片很好制作的,方法步骤都十分的简单,只要你肯学就一定能学会,下面来详细讲讲吧。
摘要: 今天来给大家分享一下gif用什么软件制作比较方便,不知道大家在日常工作和生活中有没有gif在线制作的习惯呢?如果是初学者,那么本文很适合大家阅读,因为操作十分的简单,相信大家看完就能学会,下面一起来看看吧。
摘要: gif生成器app免费制作的哪个好用点?GIF是一种紧凑、高效且无声的动画格式,非常适合传达简单的情感和内容,同时在各大平台上都能顺畅播放。要制作引人入胜的GIF图像,你需要一款易用且功能强大的软件来释放你的创造力。对于那些希望免费制作GIF的朋友,小编为您推荐一款出色的gif生成器app。
摘要: gif格式动画怎么制作?有些朋友可能会看到网上有人能让静态照片的脸动起来,比较好奇这种动图是怎么制作的。其实并不难,只要利用gif工具,就可以模拟出照片的动态效果。于是,我整理了以下这个软件,帮助大家快速制作出喜欢的动画动态特效!
摘要: 如何制作gif动态图片?有些朋友可能会看到网上有人能让静态照片的脸动起来,比较好奇这种照片是怎么制作的。其实并不难,只要利用gif工具,就可以模拟出照片的动态效果。于是,我整理了以下这个软件,帮助大家快速制作出喜欢的照片动态特效!制作gif动图图片最常见的两种方法分别是图片合成gif和视频转gif,下面来给大家一一介绍一下: