<!--
//var frameSetUrl = 'http://www.infratec.com/startseite.htm';
var frameSetUrl = 'startseite.htm';
var selfLocation = new String(self.document.location);
var topLocation = new String(top.document.location);
if (topLocation.indexOf(frameSetUrl) == -1) {
//alert('wrong frameset: '+ topLocation);
top.document.location = frameSetUrl +'?page='+ selfLocation;
}
//-->