function setTitle()
{
    parent.document.title = document.title;
}