function setTitle()
{
   top.document.title = currentTitle;
}      

function newwindow(url)
{
   window.open(url, "new", "width=" + (screen.width - 160) + ",height=" + (screen.height - 160) + ",screenX=80,screenY=70,location=no,menubar=no,resizable=yes,scrollbars=yes,toolbar=no");
}