hi stambi,
mit dem nachfolgenden skript kannst du eine externe js-datei in einem js-skript aufrufen. natürlich müsste das ganze auch funktionieren wenn du statt einer externen datei, ein normales skript einfügst. aber in deinem fall wär eine externe datei sicher sinnvoll, da du wahrscheinlich auch öfters darauf zugreifen wirst. wichtig ist im prinzip nur dass du den backslash vor dem slash vom script-endtag setzt. denn sonst interpretiert es es als endtag des ganzen skripts.
so ich hoffe das hilft dir weiter!
grüsse reba
<script>
<!--
document.write('<script src="navigation.js"></script> ');
// -->
</script>