if(document.all)top.document.title=document.title;