function PageTitle(myTitle)
{
window.top.document.title = myTitle;
}