<!--
function popup(page,width,height) {
  OpenWin = this.open(page, "CtrlWindow", "toolbar=no,menubar=no,location=no,scrollbars=yes,resizable=no,width="+width+",height="+height+"");
}

    var Img = new Array()
    function load_images(name, pfad, dateiname)
    {
    Img[name]               = new Array(2)
    Img[name]["normal"]     = new Image()
    Img[name]["normal"].src = pfad + dateiname + "_3d.gif"
    Img[name]["high"]       = new Image()
    Img[name]["high"].src   = pfad + dateiname + "_2d.gif"
    }
    function show_image(name, pfad, x)
    {
    document[name].src = Img[name]["high"].src
    }
    function hide_image(name)
    {
    document[name].src = Img[name]["normal"].src
    }
    load_images("button1", "/pic/", "flag_de")
    load_images("button2", "/pic/", "flag_uk")
    load_images("button3", "/pic/", "flag_fr")
    load_images("button4", "/pic/", "flag_es")
// -->