// JavaScript Document Webres-Script


if(document.images) { 

webres_deutsch_0 = new Image();
webres_deutsch_1 = new Image();


webres_englisch_0 = new Image();
webres_englisch_1 = new Image();

}

function change(imgLocation, imgName) {

	  if(document.images) {

	    document.images[imgLocation].src = eval(imgName + ".src"); 

  }

}

function gst_winLaunch(theURL,winName,targetName,features) { 
eval(winName+"=window.open('"+theURL+"','"+targetName+"','"+features+"')")
}