se x es. il js esterno è inserito nella pagina con un document.write quando salvi il documento non viene salvato anch' esso
codice:
document.write('<script type="text/javascript" src="menu.js"></scr'+'ipt>');
lascia il link alla pagina da cui vuoi prendere questo js