function show_nav()
	{ if (parent == self)
		{var path = escape(self.location.pathname); 
		self.location.href = "frameset.php?" + path;}
	}