function pruefen() {


// 1. wird die Seite in einem Frameset aufgerufen?

if (parent.frames.length == 0)
top.location.href = "frameset.html";
else
{


// 2. prüfen ob es auch Ihr Frameset ist
// einfach den Namen des 1. Frames abfragen

 if(top.frames[0].name != "oben")
 top.location.href = "frameset.html"
 }
 return
}