//-----------------------------------------------------------------------------
// Frameset erzwingen
//-----------------------------------------------------------------------------
function TopFrame()
{
	var soll_url = "index.htm";
	var ist_url = 0;
	ist_url = top.location.href.indexOf(soll_url);
	if (ist_url == -1)
	{
		top.location.href = soll_url;
	}
}