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