function checkFrameset()
{
if (parent.frames.length !=4 || !top.frames.hauptfenster || !top.frames.obenlinks) {
top.name=location.href.substring(location.href.lastIndexOf("/")+1,location.href.length-5)+"Leinhaus";
top.location.href=location.href.substring(0,location.href.lastIndexOf("/")+1)+"frames.html"}
}