function checkFrameset(URL)
	{
	if (!parent.haupt) 
	location.href=URL + location.pathname;
	}