function setTitle(name)
{
if(top.topFrame.document.getElementById('navtitle').firstChild != null) 
    {
    var anz = top.topFrame.document.getElementById('navtitle').firstChild.length;
    top.topFrame.document.getElementById('navtitle').firstChild.deleteData(0,anz);
    top.topFrame.document.getElementById('navtitle').firstChild.appendData(name);
    }
}