/*
Verarbeitet den Searchstring und ruft je nach Filename den entspr. Frameset auf
	Filenamen nach Muster:  xxx_yyy.html
	xxx : alz,mn,nt,rn,jr,quat 
	dazu existiert je ein Framset "frameset_xxx.html"
*/
var str = location.search;
str = str.substring(str.lastIndexOf("/")+1,str.length);
pos = str.indexOf("_");
if (pos != -1) {
	s = "frameset_"+str.substring(0, pos)+".html?"+str;
	top.location.href = s;
}