The src command for the external file has been added between the <HEAD></HEAD> tags.
Finally, declare the function:
<script language="JavaScript"
TYPE="text/javascript">
<!-- Allows script to be ignored by older browsers
copyright()
//-->
</SCRIPT>
This results look like this: