要在HTML中引入JavaScript文件，可以使用<script>标签来实现。
有两种常见的方式来引入外部的JavaScript文件：
将JavaScript文件链接到HTML文档中：<script src="https://static.jirixiang.com/image/lazy.gif" class="lazy" original="https://static.jirixiang.com/image/nopic320.png">其中src属性指定了JavaScript文件的路径。请将path/to/script.js替换为实际的文件路径。
<script>// JavaScript代码</script>将JavaScript代码直接写在<script>标签内部。
可以将上述代码放在HTML文件的<head>标签内或<body>标签内，具体取决于代码的需求和性能要求。如果需要在页面加载时立即执行JavaScript代码，则应将<script>标签放在<head>标签内。如果需要在页面加载后执行JavaScript代码，以避免阻塞页面的加载，可以将<script>标签放在<body>标签的末尾。
需要注意的是，JavaScript文件的引入顺序很重要，因为后面的脚本可能依赖前面的脚本。确保按照正确的顺序进行引入。
