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+"')")
}