如何在 Django 环境中使 html 从外部 js 文件调用 javascript 函数

我正在使用 Django 开发一个应用程序。
我希望用户一登陆某个 HTML 页面就弹出一个警报窗口。

调用使窗口弹出的javascript函数funprova这个函数存储在一个名为的 js 文件中prova.js，在路径上

静态/js/prova.js

我想要 HTML 调用这个函数。 我怎么做？

在外部 javascript 文件中的路径中

静态/js/prova.js

insert

function funprova() {
    alert("Hello! I am an alert box from remote js file!!");
    }

在必须弹出窗口的 HTML 页面中，在关闭之前</body>标记、插入

{% load static %}

<script type="text/javascript" src={% static "js/prova.js" %}></script>
<script> funprova() </script> 

Note：你必须在两个不同的脚本标签中调用javascript，因为在前者中你调用的是存储在外部文件中的函数，而在后者中你调用的是已经导入到HTML文件环境中的函数。

Note: 最好插入{% load static %}Django 标记位于 HTML 页面的最顶部，位于 HTML 标记之前。