var str = location.search;
var writeFrames = (str.indexOf("nowritefs")) && (top.window.length == 0);
if (writeFrames) {
  if (str == "") {
    var bodyFrame = window.location + "?nowritefs";
  } else {
    var bodyFrame = window.location + "&nowritefs";
  }
  document.write(
    '<frameset cols="150,*" framespacing="0" border="0" frameborder="0">',
    '<frame name="Inhalt" target="Hauptframe" src="/nav.htm" marginwidth="5" marginheight="5" scrolling="auto" noresize>',
    '<frame name="Hauptframe" src="', bodyFrame, '" target="_self" scrolling="auto" marginwidth="15" marginheight="6">',
  '</frameset>'
  );
}