var fenster;
function Fenster(breite, hoehe, titel, bild, text){
        var fecode='<HTML><Title>'+titel+'</Title>'
                   +'<BODY BGCOLOR="#FFFFFF"><P Align="CENTER">'
                   +'<TABLE BORDER=0><TR><TD ALIGN="CENTER">'
                   +'<FONT FACE=ARIAL COLOR="#FF000" SIZE=3><B>'+titel+'<br>'
		           +'</TD></TR><TR><TD Align="CENTER"><IMG SRC="'+bild+'"><br></TD></TR><TR><TD ALIGN="CENTER">'
		           +'</I></B><FONT FACE="ARIAL" COLOR="#000000" SIZE=2>'+text+'</TD></TR><TR><TD Align=CENTER>'
		           +'<form><input type=button value="Close the window" onClick="self.close();">'
		           +"</form></TD></TR></TABLE></P></BODY></HTML>";
		if (fenster==null||fenster.closed) {fenster=open('','',"width="+breite+",height="+hoehe);
		 with (fenster.document){
		 open()
         writeln(fecode);
		 close();}
		}
	    else {alert("You have one window open already. Please close  "+
	                 "the window you have opened before. !!");
	          fenster.focus();}
	}
var frU=top.frames[4];
function zeigHTM(seite){
   frU.location.href=seite;
    }
function weg(id) { if (document.layers)
                         document.layers[id].visibility = "hidden";
                else if (document.all)
                         document.all[id].style.visibility = "hidden";
                else if (document.getElementById)
                         document.getElementById(id).style.visibility = "hidden";
                                }
function hin(id) { if (document.layers)
                         document.layers[id].visibility = "show";
                else if (document.all)
                         document.all[id].style.visibility = "visible";
                else if (document.getElementById)
                         document.getElementById(id).style.visibility = "visible";
                                 }
var ThemaAlt="";
function load_images1(dateiname)
{
  Img1            = new Array(3)
  Img1["an"]      = new Image()
  Img1["an"].src  = dateiname + "_an.gif"
  Img1["aus"]     = new Image()
  Img1["aus"].src = dateiname + "_aus.gif"
  Img1["ist"]     = new Image()
  Img1["ist"].src = dateiname + "_ist.gif"
}

// Bild zeigen
function show_image1(name)
{
  if(name != ThemaAlt){ document[name].src = Img1["an"].src;}
}

// Bild verstecken
function hide_image1(name)
{ if(name != ThemaAlt){  document[name].src = Img1["aus"].src;}
}
//Bei Themenwechsel
function wechsel(name)
{
  document[name].src = Img1["ist"].src;
  if(ThemaAlt != "" && name != ThemaAlt){  document[ThemaAlt].src = Img1["aus"].src;}
  ThemaAlt = name;
}
load_images1("../bilder/pf")
