function framecheck()
        {var parentframe = 'frameset.html';

        if (parent.location.href == self.location.href)
        	{var current = window.self.location.pathname;
             window.location.replace (parentframe + '?' + current);
             }
        };