cambiar el titulo en pantalla principal

[manguiti]

Muchisimas gracias...ya lo he solucionado...ahora tengo que hacerlo en un script externo y enlazarlo con la pagina,pero no me va...siento preguntar tanto,pero ya os digo que llevo dos dias con javascript:

script externo: titulo.js:

var titulo_principal = 'I.E.S LA PILA';

function titulo(){

if (window.frames.principal.document.title == "informatica")
{
document.title = 'I.E.S LA PILA ' + '(' + window.frames.principal.document.title + ')';
}
else{
document.title= titulo_principal;
}
}

y lo enlazo asi en el head del index:

<script type="text/javascript" src="../scripts/titulo.js"/></script>

pero no me va...

muchas gracias de nuevo...1 saludo!